How To: Run shell scripts containing relative paths from anywhere

Have you ever had the problem that you want to run a script but because it handles relative paths it depends on the directory it’s called from? Well, today I learned about a shell function that helps with that, called dirname. It can be fed a path and will return it with the last non-slash component and trailing slash removed. So to refer to the location a script sits in you can do simply:...

December 8, 2023 · 1 min

Reproducible development environments with Nix

A while ago I became aware of Nix, NixOS and people who actually use it. I was intrigued by the proposition: configure your whole system declaratively so you can avoid configuration drift and combat issues with reproducibility. I tried it out and found that Nix is not straightforward to learn. Also, the documentation is gruesome. I decided that knowing Nix and applying it might be nice but I just don’t want to learn it right now....

December 7, 2023 · 7 min

Playing Jedi Knight: Jedi Academy again

“Jedi Knight: Jedi Academy” celebrates its 20th anniversary this year! Reason enough to dust it off and play it yet again. This time I went to hunt for mods to make it more interesting this time around and I found JKHub. This has a list of recommended mods for the game here featuring cosmetic ones, new textures, new lightsabers, new character models but also conversion mods, new missions and more!...

December 7, 2023 · 2 min

How To: Fix duplicated characters (and other artifacts) in your shell

A few days ago I started noticing strange behaviour of my shell. When typing commands or working with pasted ones, especially with tab completion, duplicated characters started showing up at the beginning of the line or in the middle in the case of working with a pasted command. Something like hx became hxhx or docker became dodocker. These duplicated characters were not editable, I could only clear the line and start fresh but the same thing would occur again, although not quite deterministically....

December 5, 2023 · 2 min

How To: Choose a specific WiFi radio band on Linux

Sometimes I don’t work from home but at my family’s or a friend’s place. Turns out the router at one of these places is terrible and can’t reliably provide WiFi for my laptop sitting some 4 meters away (with 2 doors in between). I thought this was rather odd because my phone didn’t struggle with this so I asked around and thought about it some and the most obvious culprit seems to be the WiFi radio band that’s used....

November 29, 2023 · 2 min