diff --git a/shell/scripts.md b/shell/scripts.md index cf57b5a..b379855 100644 --- a/shell/scripts.md +++ b/shell/scripts.md @@ -9,10 +9,10 @@ non comme si on lançait un autre shell, c'est important par exemple pour les définitions de variables), - soit en rendant le fichier exécutable (`chmod u+x nom_fichier_shell`), puis en - tapant le nom du fichier (cela fonctionne uniquement quand le répertoire - courant, `.`, est dans `$PATH`, sinon il faut dire au shell que c'est le - fichier qui est dans le répertoire courant qu'on veut exécuter : - `./nom_fichier_shell`). + tapant le nom du fichier. + Cela fonctionne uniquement quand le répertoire courant, `.`, est dans `$PATH`, + sinon il faut dire au shell que c'est le fichier qui est dans le répertoire + courant qu'on veut exécuter : `./nom_fichier_shell`. Pour être sûr du shell qui est en train de s'exécuter dans un fichier de script shell, il est plus prudent d'ajouter son nom en début de fichier la ligne (par exemple, ici sh) :