2021-04-25 ‒ Added RSS to my .gmi to .html script
2021-04-15 ‒ Generating my website from my Gemmini pod
2021-02-18 ‒ A script to interleave tiny Gemini logs
2021-02-03 ‒ There is no right Linux distro
2021-01-26 ‒ Potentially usefuil script: pop
2021-01-21 ‒ Easier ssh with ~/.ssh/config
2020-01-01 ‒ Switching monitor inputs with ddcutil