Et dans ce cas, pour explicitement ignorer une erreur, si la commande ne le permet pas (pas d'option quiet), au lieu de
set +e
rm out/*
set -e
j'aime bien
rm out/* ||true
Ça fait moins de lignes, donc moins de risque d'erreurs, du style, inverser les "+" et "-", oublier une des deux lignes, au hasard celle qui stop après une erreur.
[^] # Re: un exemple de la vraie vie
Posté par steph1978 . En réponse au journal bake : scripter en bash à la « makefile ». Évalué à 4.
bash -e -uest une bonne pratique.Et dans ce cas, pour explicitement ignorer une erreur, si la commande ne le permet pas (pas d'option
quiet), au lieu dej'aime bien
Ça fait moins de lignes, donc moins de risque d'erreurs, du style, inverser les "+" et "-", oublier une des deux lignes, au hasard celle qui stop après une erreur.