6f03cdcbUse nested instead of flat btrfs subvolumes, noatime mount flag
This took me an embarrassingly long time to decide since idk it was very OCD inducing but anyways it's much simpler to use nested subvolumes and the main advantage of flat is being able to switch out your root subvolume which I would just never do in the first place. Also, systemd-tmpfiles already creates a lot of subvolumes so it's a bit awkward to have an arbitrary Arch-inspired manual list that get mounted and have some that tmpfiles itself created. And anyways it's just more elegant this way.
Anthony Wang
authored at
Anthony Wang
comitted at
a7d301adRevert "Use elan and VSCode-installed Dafny to avoid version incompatibilities"
This reverts commit cb14293b8e332f13de9105dea7b7f26a08e384ef.
Anthony Wang
authored at
Anthony Wang
comitted at
cb14293bUse elan and VSCode-installed Dafny to avoid version incompatibilities
Anthony Wang
authored at
Anthony Wang
comitted at
1cd52f1dAdd comments about the stupid fingerprint reader stuff so future me is less stupid
Anthony Wang
authored at
Anthony Wang
comitted at
862c8721Make sure we kill fprintd first and ignore errors since I suspect fprintd disables USB persist when it quits
Anthony Wang
authored at
Anthony Wang
comitted at
e4bedcb7Use lower IO priority for Nix daemon so my site is still responsive while getting nix-copy-closured
Anthony Wang
authored at
Anthony Wang
comitted at
f2d8489aEnable USB persist too for fingerprint reader
I didn't use a udev rule since it's a pretty nasty udev rule anyways
Anthony Wang
authored at
Anthony Wang
comitted at
e325588eflake.lock: Update
Flake lock file updates:
• Updated input 'disko':
'github:nix-community/disko/76c0a6dba345490508f36c1aa3c7ba5b6b460989?narHash=sha256-I2oILRiJ6G%2BBOSjY%2B0dGrTPe080L3pbKpc%2BgCV3Nmyk%3D' (2025-04-08)
→ 'github:nix-community/disko/51d33bbb7f1e74ba5f9d9a77357735149da99081?narHash=sha256-TNoetfICvd29DhxRPpmyKItQBDlqSvKcV%2BwGNkn14jk%3D' (2025-04-18)
• Updated input 'nixpkgs':
'github:NixOS/nixpkgs/2631b0b7abcea6e640ce31cd78ea58910d31e650?narHash=sha256-LWqduOgLHCFxiTNYi3Uj5Lgz0SR%2BXhw3kr/3Xd0GPTM%3D' (2025-04-12)
→ 'github:NixOS/nixpkgs/b024ced1aac25639f8ca8fdfc2f8c4fbd66c48ef?narHash=sha256-fusHbZCyv126cyArUwwKrLdCkgVAIaa/fQJYFlCEqiU%3D' (2025-04-17)
Anthony Wang
authored at
Anthony Wang
comitted at
bf9d73d4Fetch patch from upstream cgit
It's the same server as for the branch snapshot so if that server goes down I'm kinda screwed anyways
Anthony Wang
authored at
Anthony Wang
comitted at