The dgnum infrastructure
Find a file
2023-10-05 16:46:30 +02:00
iso fix(iso): Use lib instead of non-existant lib/trivial.nix 2023-10-05 16:46:30 +02:00
keys feat(keys): Add a key for thubrecht and rekey secrets 2023-09-16 16:08:08 +02:00
lib feat(lib): Declare instance specific function here instead of nix-lib 2023-10-02 21:48:57 +02:00
machines feat(compute01): Deploy hedgedoc on pads.dgnum.eu 2023-10-05 09:52:13 +02:00
meta feat(members): Add jemagius 2023-10-04 14:34:58 +02:00
modules feat(nix-lib): Rename dgn-lib to lib.extra 2023-10-04 09:23:48 +02:00
npins chore(npins): Update metis 2023-10-05 16:40:39 +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
hive.nix feat(nix-lib): Rename dgn-lib to lib.extra 2023-10-04 09:23:48 +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
shell.nix modules/dgn-dns: init 2023-07-21 00:37:05 +02:00

❄️ infrastructure

The dgnum infrastructure