Blog
I had problems again connecting to the wireless network on a German ICE. more
I wanted to generate word statistics for a big amount of files, so I wrote this script. What it does is to remove special characters from filenames, and to split the filename into words. The extension is thrown away. more
Sometimes mosh fails to connect even though UDP traffic was verified to pass. "mosh did not make a successful connection to..." etc. more
With the recent announcement that HashiCorp switched to the so-called Business Source License I wanted to write my thoughts on it. more
Today I heard the sad news that Bram Moolenaar has passed away. more
Lately I've been getting lots of errors similar to pkg_resources.extern.packaging.version.InvalidVersion: Invalid version. Here's how I fixed them. more
The split (1) tool is quite useful, but it doesn't recognize quoted fields. This is my solution to this problem. more
On Debian-based systems /lib/modules tends to fill up with obsolete files. The reason is that kernel packages have to be purged to remove those files, and that doesn't happen while normal upgrade/remove operations. This script is my solution to this problem. Deletion is disabled by default, verify the output of … more
The folder sensor in home assistant is good if you need a random file from one directory, but how about a random file from a file hierarchy? more
I often want to mock reading from a file when writing unit tests in Python, and I always struggle to find the right solution again. So I'm posting it on my own blog in the hope of finding it later 🤣 My solution is to return a StringIO object from … more