Posts

Introduction instantOS relies on a lot of tools which use plaintext configuration in the home directory and have pretty much all their features disabled by default. This means that in order to ship a somewhat functional system out of the box, user settings need to be managed in some automated way, unless the user modifies them manually. In that case, automated changes in these files can be very destructive, as it could lead to unexpected behaviors or loss of user customizations. ...

Software wishlist For a while now I’ve been keeping a list of features or changes I really wish the software I use had. I consider most of these to be obviously good ideas. I don’t feel particularly creative having come up with them and I’m not sure why these haven’t been implemented yet in most cases. Software Firefox Why is there no shortcut to enter the settings on Linux? There is Command + Comma on macOS, but not on Linux. ...

Hello world This is my first post. Setting this site up was way more work than I anticipated. Jekyll seems a bit old-school; its website hasn’t changed ever since I first came across it. GitHub Pages is older than GitHub Actions, but Pages was sort of absorbed into Actions. In order to keep compatibility with older repos, they added some ghost jobs to the site (?) Also my custom domain just got erased from the settings, or they added the settings page after I added the custom domain in some other way. That was ages ago, I don’t really remember. ...