If you have some Linux knowledge but are unsure which Linux distribution might be the right one for your personal PC or laptop this post is for you. I've recently held a talk titled "Arch Linux: why you want to use it". The talk highlights a) when/why you might want to use Arch Linux, b) that Arch is not difficult, and c) some core concepts of Arch you should be aware of.
On Ubuntu, if you suddenly cannot resolve DNS addresses anymore, though your network connection is up, you might just have run into a problem with dnsmasq (a local DNS server) that is used by NetworkManager. This post is about disabling dnsmasq and using the DNS servers advertised by your network directly instead.
We frequently need to mail pdf files that are too big for regular mail services, such as a 40MB pdf file with a maximum 10MB send restriction. In such situations quick and effective pdf compression comes in handy that does not reduce the quality to a level of the file becoming unusable.
We are going to demonstrate installing a specific version of fish, the user friendly interactive shell, in order for it to be compatible to fzf, the fuzzy command-line searcher.
Looking at our screens during long night sessions can harm your eyes and cause e.g. sleeplessness/insomnia. Dimming monitors and reducing the amount of blue light during night sessions - e.g. using redshift on Linux - is a good thing.
git latexdiff accounts for checking out the different version of a Latex file as well as comparing them with latexdiff in a single command: you only need to specify which latex file and versions should be used for the comparison.
After playing around with different Linux Shells/UIs/window managers (including i3, Gnome Shell, etc) and some frequent restarts, I noticed that for some reason my music player Rhythmbox had stopped playing any sounds.