The dgnum infrastructure
Find a file
2023-10-04 14:34:39 +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 feat(lib): Declare instance specific function here instead of nix-lib 2023-10-02 21:48:57 +02:00
machines feat(compute01): Deploy RStudio server on rstudio.dgnum.eu 2023-10-04 14:34:39 +02:00
meta feat(meta): Remove bureau from root access 2023-09-11 18:59:59 +02:00
modules feat(nix-lib): Rename dgn-lib to lib.extra 2023-10-04 09:23:48 +02:00
npins chore(npins): Update 2023-10-02 21:19:38 +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