Last active 1748862232

Revision e9908cdbbe85d3c2c2ed3583beee31c20892c33b

header_shell.sh Raw
1set -e # interromp le script sur une erreur (pas besoin de traiter le return code pour ça)
2set -u # plante si on utilise une variable non défini
3set -o pipefail # plante si on a une commande qui plante dans un pipe
4
5# capture l'erreur et l'affiche
6trap 'echo "Error occurred at line $LINENO. Command: $BASH_COMMAND"' ERR