Commits at be7e408354fd62ae221259a79985ded21e1dacbe
be7e4083Don't make btrbk wait for network
This was more useful back when btrbk was scheduled to run at 00:00 UTC where there was a higher probability that my laptop was off, but now it usually runs in the morning after I wake up and it's honestly fine if a run is missed every once in a while.
Actually this morning it also failed to run 🙃 but that was because I turned off my laptop *while* btrbk was running.
Anthony Wang
authored at
Anthony Wang
comitted at
267efef8Revert "Eh it's nice to have gcc on PATH"
This reverts commit b1a7172067214a6de90f068d2edaf1792d94c297.
Actually there's leanc already provided by elan.
Anthony Wang
authored at
Anthony Wang
comitted at
d8118237Move ELAN_HOME here since it's laptop-specific, and if I clone my dotfiles elsewhere and use Lean I don't want Elan trying to write into /opt/elan
Anthony Wang
authored at
Anthony Wang
comitted at
537559f7Switch to hunspell for KDE spell check because aspell broke in nixpkgs 8913c16 for some reason
Anthony Wang
authored at
Anthony Wang
comitted at
9f9ebc48Switch from deploy-rs to nixos-rebuild for remote deployment
The main reasons for this are that deploy-rs is quite complex and annoying and unofficial, and I'd rather use SSH cryptography and root login using a dedicated key rather than using Nix signing keys. Also my signing key isn't encrypted so it feels like more of a security hazard. This reduces the number of lines in my config by quite a bit. The biggest downside is that now the deployment parameters aren't hardcoded in the flake but rather something I have to pass on the CLI, but it's included in the cheatsheet.
I also reordered the cheatsheet into implicit sections.
Anthony Wang
authored at
Anthony Wang
comitted at