Outils pour utilisateurs

Outils du site


tuto:linux:gestion_des_erreurs_shell

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

tuto:linux:gestion_des_erreurs_shell [2018/03/24 10:20] – créée roottuto: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
 </code> </code>
  
tuto/linux/gestion_des_erreurs_shell.1521886818.txt.gz · Dernière modification : 2018/03/24 10:20 de root