The dgnum infrastructure
Go to file
Tom Hubrecht 56cd177d3e feat(nix-lib): Update to 0.1.5 and switch to using mkConfig 2023-10-02 13:53:20 +02:00
iso iso: Update iso config and add a script to ease the installation process 2023-06-08 10:24:29 +02:00
keys feat(keys): Add a key for thubrecht and rekey secrets 2023-09-16 16:08:08 +02:00
lib npins: Update nix-lib 2023-07-24 09:50:17 +02:00
machines feat(nix-lib): Update to 0.1.5 and switch to using mkConfig 2023-10-02 13:53:20 +02:00
meta feat(meta): Remove bureau from root access 2023-09-11 18:59:59 +02:00
modules feat(modules): Init dgn-web 2023-10-01 23:08:54 +02:00
npins feat(nix-lib): Update to 0.1.5 and switch to using mkConfig 2023-10-02 13:53:20 +02:00
patches fix(patches): Update hash ????? 2023-09-25 00:41:02 +02:00
scripts modules/dgn-dns: init 2023-07-21 00:37:05 +02:00
.envrc Use direnv 2023-05-22 15:08:43 +02:00
.gitignore Use direnv 2023-05-22 15:08:43 +02:00
LICENSE keys: Separate keys and move them 2023-05-22 15:05:12 +02:00
README.md Add some flakes in the codebase to satisfy jmalka 2023-05-12 16:56:34 +02:00
hive.nix feat(compute01): Deploy outline on docs.dgnum.eu 2023-09-24 15:47:29 +02:00
shell.nix modules/dgn-dns: init 2023-07-21 00:37:05 +02:00

README.md

❄️ infrastructure

The dgnum infrastructure