fix: set -e dans install.sh, DNS DHCP standalone, loginShellInit

2026-09-09 10:03:58 +02:00
parent dd2f9cd665
commit 213ba07cfe
3 changed files with 15 additions and 6 deletions
@@ -1,7 +1,10 @@
 # Pas de shebang ici : ce fichier est injecté comme corps de script par
-# pkgs.writeShellScriptBin dans installer-base.nix (qui ajoute déjà
-# `#!...` + `set -euo pipefail`).
-#
+# pkgs.writeShellScriptBin dans installer-base.nix (qui ajoute juste
+# `#!...`, PAS de mode strict — d'où le `set` explicite ci-dessous : sans
+# lui, une erreur (ex: DNS indisponible) n'arrête pas le script, qui
+# continuait jusqu'au reboot final en masquant l'échec.
+set -euo pipefail
+
 # Installeur unique pour les deux repos :
 #   - branche "flotte"  -> nixos_fleet (public, jamais chiffré)
 #   - branche "utilisateur nommé" -> nixos_users (privé, chiffrement au choix)