My colleague Day Barr found this very useful Stack Overflow article. It shows how to redirect stdout to a log file from with a bash script. This is very useful if you’re debugging an existing bash script and don’t want to add a redirect to every line in it.
Houghton Hall is a statele home outside of Kings Lynn in Norfolk. They currently host the excellent Houghton Revisited exhibition with paintings from the Hermitage in St-Petersburg that originally hung in Houghton Hall. I can’t show pictures from the exhibition because photography was not allowed. However in the gardens they have this sculpture called Waterflame from Jeppe Hein:
This stackoverflow post has a cool way to remove the last occurrence of a character in vim : :%s/.*\zs,/|/ This replaces the last occurrence of a comma with a pipe. Other examples can be found on the vim wikia.
Great weather and great food. In other words it was a nice trip to Budapest.
The Donau, with Buda on the left and Pest on the right
Thus is just a list of useful Linux commands. Putting them here means I can always find them. See the info of an uninstalled rpm : `rpm -qip --provides an.rpm` Check Linux is 64 bit: `egrep -c ' lm ' /proc/cpuinfo` Bigger than zero means 64 bit. Lm stands for Long Mode. Check that a package is installed in Ubuntu : `dpkg --get-selections | grep python`
Copyright (c) 2025 Michel Hollands