Le Tue, 5 Jun 2018 18:04:44 +0200,
"anne.guilde@???" <anne.guilde@???> a écrit :
> Erreur, donc maintenant mettre bash sur ma debian, pas sh.
> Je n'en ai pas cherché plus sur dash
>
> (lessive?) ;)
>
> Anne
Plus simple, léger et rapide que Bash, avec une optique d'être utilisé
par le système Debian et dans des jobs plutôt que interactivement en
ligne de commande.
Je confirme que si tu cherche a faire des choses plus évoluées
(sortant du sh normalisé de base), il faut mettre
systématiquement :
#!/bin/bash
en tête de de tous tes scripts pour être certaine de
ce que tu fais.
Ça évite les déboires quand tu as plusieurs shell, et de fait certains
te recommanderaient de mettre plutôt :
#!/bin/zsh
XD
