Last active 1748862232

Revision 0e5f48c18f33a9d1c295034262e437bb5ec62b50

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