1
0

correction updater

This commit is contained in:
unfr 2025-08-13 10:28:48 +02:00
parent 2d1275ba85
commit 5d686e5ce7

View File

@ -1,4 +1,14 @@
#!/usr/bin/env bash #!/usr/bin/env bash
# exiger bash, bloquer le "source"
[ -n "${BASH_VERSION:-}" ] || exec bash "$0" "$@"
(return 0 2>/dev/null) && { echo "❌ Ne source pas ce script, exécute-le: ./$0"; return 1; }
# chemin canonique du script (robuste: ./script.sh, bash script.sh, via PATH, symlink…)
SCRIPT_SOURCE="${BASH_SOURCE[0]}"
SCRIPT_DIR="$(cd -- "$(dirname -- "$SCRIPT_SOURCE")" && pwd -P)"
SCRIPT_FILE="$SCRIPT_DIR/$(basename -- "$SCRIPT_SOURCE")"
set -Eeuo pipefail set -Eeuo pipefail
trap 'echo "❌ ERREUR ligne $LINENO: $BASH_COMMAND" >&2' ERR trap 'echo "❌ ERREUR ligne $LINENO: $BASH_COMMAND" >&2' ERR
@ -368,5 +378,11 @@ else
ok "Configuration OK." ok "Configuration OK."
fi fi
# (optionnel) auto-suppression # auto-suppression (désactivable via SKIP_SELF_DELETE=1)
rm -- "$0" 2>/dev/null || true if [ -z "${SKIP_SELF_DELETE:-}" ] && [ -f "$SCRIPT_FILE" ]; then
if rm -f -- "$SCRIPT_FILE"; then
ok "Script supprimé: $SCRIPT_FILE"
else
warn "Impossible de supprimer $SCRIPT_FILE (droits sur le dossier ?)"
fi
fi