hms/nixos

No description

Find a file

Henri Saudubray d1c0846cf8 feat (home): begin graphical split, vcs tweaks		2026-02-03 11:28:57 +01:00
home	feat (home): begin graphical split, vcs tweaks	2026-02-03 11:28:57 +01:00
hosts	chore: modularization, factorization	2026-01-21 00:37:15 +01:00
nixos	chore: modularization, factorization	2026-01-21 00:37:15 +01:00
shells	feat (shells/why3-dev): add provers for local dev	2026-01-29 09:38:53 +01:00
flake.lock	chore: nix flake update	2026-01-29 09:36:08 +01:00
flake.nix	chore: factorize home-manager options	2026-01-21 00:42:06 +01:00
README.md	chore: modularization, factorization	2026-01-21 00:37:15 +01:00

README.md

Nixos configuration

.
├── flake.nix  // Top-level flake
├── home/      // home-manager configuration
├── hosts/     // host-specific configuration
├── nixos/     // generic system configuration
├── shells/    // generic development shells
└── [...]