I have written these sorts of things, but I do try and put them up on GitHub if I think they’ll be useful to other people. I wrote a tool unimaginatively named

I have written these sorts of things, but I do try and put them up on GitHub if I think they’ll be useful to other people. I wrote a tool unimaginatively named wsl-ssh-pageant [0] which I wanted because I use a YubiKey for my SSH key. It has been by far my most popular GitHub project. I do have other things as well, some on GitHub some not. A scraper to notify me when a local gym booking website changes for a time I’m interested in. A bridge between a BroadLink RM4 and HomeKit for some fans [1] - I wanted to avoid home-assistant. A script to grab my power consumption data. A shim to make gpg-agent compatible with launchd’s socket activation protocol [2]. [0] - https://github.com/benpye/wsl-ssh-pageant https://github.com/benpye/wsl-ssh-pageant [1] - https://github.com/benpye/hkrm4 https://github.com/benpye/hkrm4 [2] - https://github.com/benpye/launchd_shim https://github.com/benpye/launchd_shim