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
acbc5b38Probably no perf difference with noatime for the ThinkPad so only use it on XVM
Anthony Wang
authored at
Anthony Wang
comitted at
87dacd07Plasma already enables SDDM Wayland by default (slightly janky though)
https://github.com/NixOS/nixpkgs/blob/e57b3b16ad8758fd681511a078f35c416a8cc939/nixos/modules/services/desktop-managers/plasma6.nix#L305
Anthony Wang
authored at
Anthony Wang
comitted at
8b255a93Use systemd user service to run ssh-add
A lot of things don't like adding the SSH keys to the agent on demand, such as Git or SFTP in Dolphin
Anthony Wang
authored at
Anthony Wang
comitted at
8fe06fa5Convert all ThinkPad Bash scripts to Fish, other random cleanup
The XVM md4c script still uses Bash for performance reasons (although maybe switching to Dash would be even more effective)
Anthony Wang
authored at
Anthony Wang
comitted at