[Sat Jul 23 17:31:06 CDT 2016]

Here is a useful, short, and to the point document explaining how to resolve git conflicts when merging a branch. Just thought I'd share that. {link to this entry}

[Tue Jul 19 15:14:03 CDT 2016]

Here is an extension called Hide Top Bar in case you want to hide the top menu bar in GNOME 3. There are times when I felt like getting rid of all clutter, so I could use as much desktop space as possible for my windows. Also, since we are checking out cool tools, here is also a link to a little collection of console and curses based tools that you can install in Linux. The author calls them "obscure", but many of them are actually well known. Finally, here is a link to shpotify and Geeknote, two CLI tools that will allow you to access Spotify and Evernote. Oh, and this other one for Remember The Milk also. {link to this entry}

[Sun Jul 10 14:36:34 CDT 2016]

Quite sometime ago I wrote how to handle a "packages have been kept back" message in Debian, suggesting at that point that the best way to handle it was to run the following command:

# apt-get dist-upgrade

However, doing a dist-upgrade always entails certain risks. So, today I ran into the very same problem and found a much better way to handle it:

# apt-get install <packages>

That will just install the packages and all the dependencies that were causing the trouble in the first place. {link to this entry}