tuto:linux:gestion_des_erreurs_shell
Différences
Ci-dessous, les différences entre deux révisions de la page.
tuto:linux:gestion_des_erreurs_shell [2018/03/24 10:20] – créée root | tuto:linux:gestion_des_erreurs_shell [2018/03/24 10:20] (Version actuelle) – root | ||
---|---|---|---|
Ligne 2: | Ligne 2: | ||
* Quitte le script à la première erreur: | * Quitte le script à la première erreur: | ||
<code bash> | <code bash> | ||
- | $set -e | + | $ set -e |
</ | </ | ||
tuto/linux/gestion_des_erreurs_shell.1521886818.txt.gz · Dernière modification : 2018/03/24 10:20 de root