keys
|
Ajouter keys/jemagius.keys
|
2023-07-18 18:20:41 +00:00 |
lib
|
lib: Add utility functions
|
2023-06-30 18:29:56 +02:00 |
meta
|
web01: Finish switching to the new network config
|
2023-07-20 15:48:01 +02:00 |
modules
|
modules/dgn-console: Update hostname display
|
2023-07-20 15:48:24 +02:00 |
npins
|
npins: Update nixpkgs
|
2023-07-02 17:17:56 +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 |
shell.nix
|
iso: Make a script for iso generation
|
2023-06-07 14:13:36 +02:00 |