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

My NixOS configuration files

Commits at b98e7fa8fbf06a892c7ab8dac3b39e9ad8edcc2b

  1. b98e7fa8 A bit of cleanup Anthony Wang authored at Anthony Wang comitted at
  2. 46034fbc Download stuff locally then copy to server for deploy-rs to avoid OOM Anthony Wang authored at Anthony Wang comitted at
  3. 199aac57 Nuke Dafny FRIENDSHIP WITH DAFNY ENDED, LEAN IS MY NEW BESTIE Anthony Wang authored at Anthony Wang comitted at
  4. 9130721d Fix missing 404 page for my site Anthony Wang authored at Anthony Wang comitted at
  5. e96446a9 Move Caddy dns provider to globalConfig for Caddy 2.10 Caddy now uses wildcard certs whenever possible using the global dns settings Anthony Wang authored at Anthony Wang comitted at
  6. ef40221d Nix trick to inspect system config Anthony Wang authored at Anthony Wang comitted at
  7. 9863c6a3 Update formerly broken caddy-dns/porkbun Anthony Wang authored at Anthony Wang comitted at
  8. 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
  9. 288f4abf Fix sqlite -> sqlite3 typo Anthony Wang authored at Anthony Wang comitted at
  10. bad22129 More Rust stuff and utilities Anthony Wang authored at Anthony Wang comitted at
  11. 29554b2e I NEED MY LSPSSSSSS Anthony Wang authored at Anthony Wang comitted at
  12. 7fad9687 MOOOAAARRR RUST, update flake.lock Anthony Wang authored at Anthony Wang comitted at
  13. ea20bd43 Enable Podman again Anthony Wang authored at Anthony Wang comitted at
  14. 3351640d Sort programs alphabetically too Anthony Wang authored at Anthony Wang comitted at
  15. 1050bf14 Rust! Rust! Rust! Anthony Wang authored at Anthony Wang comitted at
  16. cbdcdaeb Add more comments, update flake.lock Anthony Wang authored at Anthony Wang comitted at
  17. 213e8611 Remove Plasma vaults and gocryptfs Anthony Wang authored at Anthony Wang comitted at
  18. fb84d96f Make USB persist file read-only to solve weird race conditions Anthony Wang authored at Anthony Wang comitted at
  19. a3839a35 Hide annoying command-not-found error message Anthony Wang authored at Anthony Wang comitted at
  20. 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
  21. a944248b Compile deja-dup with restic support Anthony Wang authored at Anthony Wang comitted at
  22. 8bc4543b Make the symlink latest srv script actually work OK that was deceptively tricky Anthony Wang authored at Anthony Wang comitted at
  23. 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
  24. 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
  25. 5f322639 Remove redundant sudo rules, use services.btrbk.sshAccess for more security Anthony Wang authored at Anthony Wang comitted at
  26. f5e2862e Create /home subvolume too Anthony Wang authored at Anthony Wang comitted at
  27. 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
  28. 2651a9da Capitalize Nixpkgs, update flake.lock Anthony Wang authored at Anthony Wang comitted at
  29. f40015bf Use elan for mathlib Anthony Wang authored at Anthony Wang comitted at
  30. a7d301ad Revert "Use elan and VSCode-installed Dafny to avoid version incompatibilities" This reverts commit cb14293b8e332f13de9105dea7b7f26a08e384ef. Anthony Wang authored at Anthony Wang comitted at