tp3
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédente | |||
| tp3 [2019/01/22 11:21] – [Q.12 - Finalisation du TP] gilles | tp3 [2021/03/01 10:34] (Version actuelle) – [Q.1 - Création de l'environnement de travail] gilles | ||
|---|---|---|---|
| Ligne 21: | Ligne 21: | ||
| | | ||
| if ! pwd | grep $working_directory; | if ! pwd | grep $working_directory; | ||
| + | echo "Vous n' | ||
| + | exit 1 | ||
| + | fi | ||
| + | </ | ||
| + | |||
| + | ou sans écho écran | ||
| + | |||
| + | <code bash> | ||
| + | # | ||
| + | | ||
| + | if ! pwd | grep $working_directory > /dev/null 2>&1 ; then | ||
| echo "Vous n' | echo "Vous n' | ||
| exit 1 | exit 1 | ||
tp3.1548156089.txt.gz · Dernière modification : 2019/01/22 11:21 de gilles