[Wed Jan 17 11:14:54 CST 2018]

A few minutes ago, I was getting ready to fill out an online form, and noticed that Firefox still had my old phone number in its auto-fill configuration. Hmmm, how do you remove that? Well, I was a bit disappointed at first when I found out here that I might need to install an addon to do this. As they put it, "the process is complicated". So, I was quite happy to notice that, immediately below (under the label "Helpful Reply", instead of "Chosen Solution") there was a much simpler solution to the problem: simply highlight the info you want to delete, and... hit the "Delete" key from your keyboard. That's all! No need to install any addon. {link to this entry}

[Tue Jan 9 16:57:41 CST 2018]

Here is an interesting app. It's called Zathura (yes, the name is inspired by the movie Zathura: A Space Adventure), and it's a document viewer that allows you to view PDF, PostScript, DjVu, and EPUB formats. Now, what makes it interesting is that it is extremely lightweight and it uses vi-like keybindings. The man page provides info about the main keybindings and options that you can use. If you are a vi/vim lover, definitely give it a try. {link to this entry}

[Thu Jan 4 15:37:58 CST 2018]

Since I usually run the GNOME Terminal hiding the menu bar, it wasn't easy to find the way to toggle it back on when I needed it earlier today. For whatever reason, it doesn't appear to be very intuitive. However, I found the answer here. Simply right-click within the terminal window, and then select "Show Menubar". {link to this entry}