Re: sh bash dash

Startseite

Nachricht beantworten
Autor: Haricophile
Datum:  
To: guilde
Betreff: Re: sh bash dash
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