The dgnum infrastructure
Find a file
Tom Hubrecht 18b6744ef1 feat(npins): Add calendrier.eleves.ens.fr
Also deploy updated version with analytics
2023-09-28 12:14:38 +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(npins): Add calendrier.eleves.ens.fr 2023-09-28 12:14:38 +02:00
meta feat(meta): Remove bureau from root access 2023-09-11 18:59:59 +02:00
modules modules/dgn-secrets: Fix options 2023-07-24 09:50:33 +02:00
npins feat(npins): Add calendrier.eleves.ens.fr 2023-09-28 12:14: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(compute01): Deploy outline on docs.dgnum.eu 2023-09-24 15:47:29 +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