[Mon Nov 27 14:39:29 CST 2017]

I kept receiving notifications in GNOME from a particular website via Firefox, and it was starting to get to my nerves. Apparently, at some point in the past, the website asked if I approved receiving those notifications, and I had said yes. If something similar occurs to you, here is how to turn them off. {link to this entry}

[Mon Nov 27 09:56:48 CST 2017]

Ever wanted to use Google Translate from the command line? Here is an article showing you how to do it. After installing the tool, it's as easy as running the following command:

$ trans -s en door -t es
door
/dôr/

puerta

Definitions of door
[ English -> Español ]

noun
    (la) puerta
        door, gate, doorway, gateway
    (la) entrada
        entry, input, tackle, entrance, inlet, door
    (la) portezuela
        door

door
    puerta, entrada, portezuela

{link to this entry}

[Tue Nov 14 07:13:08 CST 2017]

Here is how to enable verbose boot messages on the console in Debian 9 (Stretch): edit the file /etc/default/grub to remove the "quiet" option from the value of the variable GRUB_CMDLINE_LINUX_DEFAULT and, then, run the following command:

# update-grub

{link to this entry}

[Mon Nov 6 12:02:00 CST 2017]

If you use the bash shell and do some shell scripting, you may be interested in the ShellCheck lint analysis tool for shell scripts. {link to this entry}

[Mon Nov 6 11:55:06 CST 2017]

Not sure how many other people may have run into this issue, but lately I have been noticing a message on the terminal screen on my Debian Stretch system with the following warning:

[fresh] [error] probe_ppp_module, can't find libpepflashplayer.so

According to this document from the Debian Wiki, one should be able to install the Pepper Flash Player package directly from the contrib section of the official Stretch repos. However, the thing is that I have those repos enabled, and I couldn't find the package. The solution, as so often, is available in StackExchange:

# deb http://www.deb-multimedia.org stretch main non-free
# apt-get update
# apt-get install deb-multimedia-keyring
# apt-get install flashplayer-chromium

{link to this entry}