It's like a blog, except it isn't.
rsync with (some) steroids – June 15, 2023.
I came up with a way of using
rsync to be able to compare folders and list the files which actually have different contents, and in that case, which folder has the newest version. This means that, given two folders
B/, all the files with differences are newer in (say) folder
B/, I can just copy them over to folder
A/, instead of doing individual merges. This is super useful to merge files that exist on both desktop and laptop, but that are not under version control. #rsync #diff #merge #bash #script
The Importance Of Being Printer Friendly – February 17, 2023.
On printing this website’s pages to PDF… #print-to-pdf
Errata for van Dalen’s Logic and Structure – September 23, 2022.
I couldn't find one, so I wrote my own.
Instructions for Coworkers – April 8, 2022.
Straightforward manner to use
git (more or less) privately.
Iptables rules for clients and servers – April 7, 2022.
Two (more or less) generic sets of iptables rules, one for clients, and another for servers.
Run git on your own server – February 23, 2022.
For things that are not ready to be shared with the world...
On the joys of reinstalling
systemd-boot… – September 21, 2021.
ecause if you have Archlinux and macOS on the same machine, updating the latter prevents you from booting the former...