Switching a mainboard’s firmware between UEFI and legacy BIOS might discard...
Here’s how to recreate a missing UEFI boot menu entry (in the mainboard’s NVRAM) via efibootmgr – as well as how one could end up with such an entry being missing, and what error you might see when...
View ArticleArch Linux: update mirrorlist
It’s a good idea to update the Arch Linux mirrorlist file (/etc/pacman.d/mirrorlist) from time to time. Mirrors change over time, and an outdated list can negatively impact the speed with which pacman...
View Articledmcrypt cheat sheet
Cheat sheet of some dm-crypt commands and configs that I seem to use somewhat frequently. Encrypted data partition Create new encrypted partition This assumes the partition /dev/sdaX already exists...
View ArticleFZF: usage and installation
FZF, the fuzzy command-line finder, is a really useful small tool for your command line that makes it easier to: quickly search your shell’s command historyquickly find+select files/folders to pass to...
View ArticleLinux: change timezone via filesystem
This post is about permanently changing the timezone an a Linux machine via the file system representation of the timezone. On most Linux machines the timezone is configured with the file...
View ArticleArch Linux: pacman cheat sheet
Below is a “cheat sheet” style list of useful Arch Linux pacman commands that I use frequently (some from time to time). Some of those commands require root permission, hence will require sudo on most...
View ArticleLinux: change mouse pointer speed with xinput
This post is partially based on info from https://wiki.archlinux.org/index.php/Mouse_acceleration. On Linux, when using X as a graphical user interface, one quick way for changing the mouse pointer...
View ArticleWindows firewall rule to block Internet but allow LAN
This post covers how to configure the Windows firewall to block Internet access for a given program, but still allow it LAN access. I ran into this problem when experimenting with WireGuard for playing...
View ArticlePlay LAN-only games together over the Internet with WireGuard
This post describes how to configure WireGuard, an open-source point-to-point tunnel, to play LAN-only games together over the Internet. This includes games that never had Internet-based but only...
View Articlepdfcrop: automatically remove margins from pdf files on Linux
Want an easy way to get rid of margins in a pdf file on Linux? For example, when embedding the pdf file as figure somewhere? Then pdfcrop might be the tool for you. It is an extremely easy (probably...
View ArticleAnaconda Python/R: free disk space by removing old packages
This post highlights how to quickly clean old packages from anaconda, the scientific Python/R distribution. If you work with anaconda, the scientific Python/R distribution, and regularly update it,...
View Articlei3 window manager: selectively make any notification urgent (urgency flag) to...
This post highlights how to make any DBUS notification use the demands_attention flag, which can be used to mark the corresponding application, window, or workspace as requiring attention. This might...
View ArticleYet another small number-equation-puzzle with a solver in Prolog
This post is about yet another small number puzzle, and the corresponding solver for it in Prolog. The post and code is written to be easily understandable and help learn the basics of “think and code”...
View ArticleAre Linux Updates Available? Status Information from Arch or Debian/Ubuntu...
When you run Linux on your work machine (desktop, laptop, etc), you usually want to be informed in some way about system updates being available. It might be that the package manager software takes...
View ArticleSSH: remember / cache key password
SSH key file passwords and SSH agents Accessing a password protected SSH key in a Linux terminal multiple times in a row also requires the user to enter the password to unlock the SSH key multiple...
View ArticleArch Linux: why you want to use it
If you have some Linux knowledge but are unsure which Linux distribution might be the right one for your personal PC or laptop: I’ve recently held a talk that might interest you. It’s titled “Arch...
View ArticleMarkdown pandoc slides: easy and quick ways to create slides from markdown...
I’m frequently in the situation of being required to quickly create a handful of slides on the go/on the road. The slides are typically used at a quick meeting where I benefit from some supporting...
View ArticleMarkdownPresenter: create slides from markdown in a quick and easy way
MarkdownPresenter is a very simplistic markdown presentation editor and viewer that uses markdown to create pdf slides. Especially its simplicity makes it a good choice for quickly creating some slides...
View Articlegit-difftool: an easy way to highlight changes in git-managed text files
In two previous posts (post one, post two) we have shown how to use git latexdiff and latexdiff to visually highlight the differences of a Latex file in between its different versions in the form of a...
View ArticleDNS problems with Ubuntu? Disable dnsmasq with NetworkManager
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...
View Article