Commits at 267efef8a4b5e99ee9f608bed3a53c67e884605f
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
ed3fce1fAdd more CLI tools to environment.systemPackages so I don't have to nix run all the time
Anthony Wang
authored at
Anthony Wang
comitted at
51fcb9bbOnly use DNS challenge for wildcard cert, use Nix to separate vhosts instead of everything in a giant extraConfig blob
Anthony Wang
authored at
Anthony Wang
comitted at
7590ff5cRoute a smaller subnet over Wi-Fi for KDE Connect
For posterity, this is the help message that I posted on the SIPB Mattermost:
I'm trying to use KDE Connect on my laptop in my room, which has a bit of a complicated setup since it's both connected to Ethernet and Wi-Fi. My laptop is only able to connect to my phone via Wi-Fi so I ran nmcli connection modify "MIT SECURE" +ipv4.routes "10.0.0.0/9" to route all connections to the devices on MIT Wi-Fi over Wi-Fi instead of Ethernet which it uses by default. This has been working fine for the past two years but it broke sometime this summer. Now, with that routing rule, even when my laptop is unplugged from Ethernet and only using Wi-Fi, KDE Connect still fails to reach my phone, even though I'm still successfully able to run an HTTP server on my phone and connect to it on my computer. Also, that routing rule should just be a no-op when my laptop is connected to only Wi-Fi. I tried downgrading KDE Connect using the magic of NixOS but the downgraded version just segfaults so I can't conclude much from that.
Actually, the stranger thing is that KDE Connects works around 25% of the time, but it's inconsistent.
I might just give up and use KDE Connect over Bluetooth instead of Wi-Fi.
Anthony Wang
authored at
Anthony Wang
comitted at