thubrecht
  • Joined on 2023-09-14
thubrecht commented on pull request DGNum/infrastructure#99 2024-05-23 14:30:53 +02:00
changement dans le plan IP et free-radius DHCP
thubrecht commented on pull request DGNum/infrastructure#99 2024-05-23 14:30:53 +02:00
changement dans le plan IP et free-radius DHCP

Pourquoi on a besoin de supprimer ce dossier à chaque démarrage ?

thubrecht commented on pull request DGNum/infrastructure#99 2024-05-23 14:30:53 +02:00
changement dans le plan IP et free-radius DHCP

Plutôt que faire des trucs dans un script avec cat et EOF, il vaut mieux utiliser pkgs.writeText et faire un lien au démarrage. Surtout que ce fichier ne doit pas être généré à chaque démarrage de freeradius

thubrecht commented on pull request DGNum/infrastructure#99 2024-05-23 14:30:53 +02:00
changement dans le plan IP et free-radius DHCP

useful

thubrecht commented on pull request DGNum/infrastructure#99 2024-05-23 14:30:53 +02:00
changement dans le plan IP et free-radius DHCP

Le default devrait aller avant la description

thubrecht commented on pull request DGNum/infrastructure#99 2024-05-23 14:30:53 +02:00
changement dans le plan IP et free-radius DHCP
thubrecht commented on pull request DGNum/infrastructure#99 2024-05-23 14:30:53 +02:00
changement dans le plan IP et free-radius DHCP

Le default devrait aller avant la description

thubrecht commented on pull request DGNum/infrastructure#99 2024-05-23 14:30:53 +02:00
changement dans le plan IP et free-radius DHCP

Le default devrait aller avant la description

thubrecht commented on pull request DGNum/infrastructure#99 2024-05-23 14:30:53 +02:00
changement dans le plan IP et free-radius DHCP

Ce serait bien de faire un attrset plutôt qu'une liste, en utilisant soit lib.genAttrs soit listToAttrs directement ici

thubrecht suggested changes for DGNum/infrastructure#99 2024-05-23 14:30:53 +02:00
changement dans le plan IP et free-radius DHCP
thubrecht commented on pull request DGNum/infrastructure#99 2024-05-23 14:30:53 +02:00
changement dans le plan IP et free-radius DHCP

Pourquoi on a besoin de mettre ça dans un autre fichier ?

thubrecht commented on pull request DGNum/infrastructure#99 2024-05-23 14:30:53 +02:00
changement dans le plan IP et free-radius DHCP
thubrecht pushed to main at DGNum/infrastructure 2024-05-22 19:13:12 +02:00
2329799c87 feat(monitoring): Add adminGroup emails
thubrecht deleted branch group_monitor from lbailly/infrastructure 2024-05-22 19:13:12 +02:00
thubrecht merged pull request DGNum/infrastructure#107 2024-05-22 19:13:10 +02:00
feat(monitoring): Add adminGroup emails
thubrecht pushed to main at DGNum/infrastructure 2024-05-21 09:24:10 +02:00
d3b7481188 fix(atticd): Don't chunk NARs as garage does it automatically
thubrecht pushed to main at DGNum/infrastructure 2024-05-18 19:14:56 +02:00
e2de21ed18 feat(cineclub): Add redirections
thubrecht pushed to main at DGNum/infrastructure 2024-05-18 17:38:31 +02:00
9a1f49d0ce fix(README): Use correct link
9a8c182a95 feat(wp): Update cineclub address
Compare 2 commits »
thubrecht pushed to lix at DGNum/infrastructure 2024-05-15 20:23:45 +02:00
92eb7761ce test: Patch the source
thubrecht pushed to lix at DGNum/infrastructure 2024-05-15 20:22:20 +02:00
249cc3b366 test: Patch the source