1. Top
  2. nixos-config
  3. Commits
nixos-config

My NixOS configuration files

Commits at aef594daddda2ad5fed6b87fd04ee0bec65b6b6f

  1. aef594da Clarify confusing comment Oh and btw installing lean4 doesn't make that the default elan toolchain since elan's lean binary gets enabled in the current environment instead of lean4's lean binary Anthony Wang authored at Anthony Wang comitted at
  2. 288f4abf Fix sqlite -> sqlite3 typo Anthony Wang authored at Anthony Wang comitted at
  3. bad22129 More Rust stuff and utilities Anthony Wang authored at Anthony Wang comitted at
  4. 29554b2e I NEED MY LSPSSSSSS Anthony Wang authored at Anthony Wang comitted at
  5. 7fad9687 MOOOAAARRR RUST, update flake.lock Anthony Wang authored at Anthony Wang comitted at
  6. ea20bd43 Enable Podman again Anthony Wang authored at Anthony Wang comitted at
  7. 3351640d Sort programs alphabetically too Anthony Wang authored at Anthony Wang comitted at
  8. 1050bf14 Rust! Rust! Rust! Anthony Wang authored at Anthony Wang comitted at
  9. cbdcdaeb Add more comments, update flake.lock Anthony Wang authored at Anthony Wang comitted at
  10. 213e8611 Remove Plasma vaults and gocryptfs Anthony Wang authored at Anthony Wang comitted at
  11. fb84d96f Make USB persist file read-only to solve weird race conditions Anthony Wang authored at Anthony Wang comitted at
  12. a3839a35 Hide annoying command-not-found error message Anthony Wang authored at Anthony Wang comitted at
  13. 712d0ae5 OK let's use deja-dup 48.1 because why not (and I think it fixes some weird restic bugs) Anthony Wang authored at Anthony Wang comitted at
  14. a944248b Compile deja-dup with restic support Anthony Wang authored at Anthony Wang comitted at
  15. 8bc4543b Make the symlink latest srv script actually work OK that was deceptively tricky Anthony Wang authored at Anthony Wang comitted at
  16. 04e5845f Delete the janky rclone script and replace it with restic-based deja-dup rclone is stateless and file-based but I have 30000 files so it's pretty awful for backups and takes forever and gets rate-limited. I've used deja-dup before and it requires absolutely 0 brain cells and uses restic (which uses rclone) under the hood but restic is block based and super fast so I think it's way better. Plus, now I can back up pretty much my whole home directory (other than a few gigantic manually excluded dirs) so I shouldn't be afraid at all anymore about data loss. And btw I think the exclude lists are user-side config so they don't below in this repo. Anthony Wang authored at Anthony Wang comitted at
  17. 5f560b58 Krita overlay which should work in theory but I'm too impatient to compile the whole thing Anthony Wang authored at Anthony Wang comitted at
  18. 5f322639 Remove redundant sudo rules, use services.btrbk.sshAccess for more security Anthony Wang authored at Anthony Wang comitted at
  19. f5e2862e Create /home subvolume too Anthony Wang authored at Anthony Wang comitted at
  20. 6f03cdcb Use 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
  21. 2651a9da Capitalize Nixpkgs, update flake.lock Anthony Wang authored at Anthony Wang comitted at
  22. f40015bf Use elan for mathlib Anthony Wang authored at Anthony Wang comitted at
  23. a7d301ad Revert "Use elan and VSCode-installed Dafny to avoid version incompatibilities" This reverts commit cb14293b8e332f13de9105dea7b7f26a08e384ef. Anthony Wang authored at Anthony Wang comitted at
  24. cb14293b Use elan and VSCode-installed Dafny to avoid version incompatibilities Anthony Wang authored at Anthony Wang comitted at
  25. a3d26ed5 Tip for installing specific version of package Anthony Wang authored at Anthony Wang comitted at
  26. 4e5d8ce9 Comment about Dafny VSCode Anthony Wang authored at Anthony Wang comitted at
  27. 531b6225 Disable evil Akonadi stuff, don't need to manually set ssh_askpass Anthony Wang authored at Anthony Wang comitted at
  28. 685e1c10 NixOS tip for getting diff between system generations, update flake.lock Anthony Wang authored at Anthony Wang comitted at
  29. 4b195887 SSH_ASKPASS_REQUIRE is not necessary Anthony Wang authored at Anthony Wang comitted at
  30. 1cd52f1d Add comments about the stupid fingerprint reader stuff so future me is less stupid Anthony Wang authored at Anthony Wang comitted at