Dash versus Bash

lynn · Le 23/07/2018, à 19:32

Bonjour,

Selon la documentation sur les scripts.

L'exemple suivant:

cat script_dash
#!/bin/dash

tab=("John Smith" "Jane Doe")


for (( i=0; i < ${#tab[@]}; i++ )); do echo ${tab[i]}; done

retourne

./script_dash: 3: ./script_dash: Syntax error: "(" unexpected

Documentation a écrit :

Premiere méthode (compatible bash, zsh, et ksh93 mais pas ksh88, ni avec dash, qui est lancé par "sh")

Ma question est donc: Quelle est la syntaxe à utiliser pour que ce style de script fonctionne avec dash?

Merci pour vos lumières.

Watael · Le 23/07/2018, à 19:39

salut,

aucune, dash ne supporte pas les tableaux.

lynn · Le 23/07/2018, à 20:59

Dans ce cas, quel est l'intérêt d'avoir dash par défaut dans Ubuntu? Pourquoi ne pas mettre directement le pointeur sh sur bash ou zsh?

GammaDraconis · Le 23/07/2018, à 21:20

Nan c'est bash par défaut !

Mais dans ton script, tu as indiqué au début "#!/bin/dash" donc ce n'est pas un script bash mais dash.
Si tu veux faire des scripts, utilise plutôt bash sous Ubuntu.

Tu peux créer des tableaux sans problème avec bash.

Dernière modification par GammaDraconis (Le 23/07/2018, à 21:21)

lynn · Le 23/07/2018, à 21:32

GammaDraconis a écrit :

Nan c'est bash par défaut !

ls -l /bin/sh
lrwxrwxrwx 1 root root 4 juin  11 07:20 /bin/sh -> dash

Watael · Le 23/07/2018, à 22:01

man bash a écrit :

BUGS
It's too big and too slow.

c'est la raison d'être de dash, et la raison pour laquelle il est utilisé lors du démarrage.
et si il n'y a pas d'autre shell que dash installé lors de la création de l'utilisateur, il sera définit comme son $SHELL.

GammaDraconis · Le 23/07/2018, à 22:46

tu créer un script bash et ça fonctionnera très bien.
Oubie Dash. Bash est bien présent dans Ubuntu : ls -l /bin/bash

Dernière modification par GammaDraconis (Le 23/07/2018, à 22:47)

lynn · Le 24/07/2018, à 05:13

Watael a écrit :

man bash a écrit :
BUGS
It's too big and too slow.
c'est la raison d'être de dash, et la raison pour laquelle il est utilisé lors du démarrage.
et si il n'y a pas d'autre shell que dash installé lors de la création de l'utilisateur, il sera définit comme son $SHELL.

Ce serait donc une question de performance... Dash est plus rapide mais moins complet que bash ou zsh..?!

@GammaDraconis
J'avais bien compris que ça fonctionnait avec bash.
Ma question en #3 n'était pas sur le fait d'utiliser dash ou bash mais sur le pourquoi /bin/sh pointe sur dash par défaut.

Watael · Le 24/07/2018, à 12:51

lynn a écrit :

Dash est plus rapide mais moins complet que bash ou zsh..?!

"Dash est plus rapide mais" propose moins de fonctionnalités.

"moins complet" par rapport à quoi ?
par rapport à la norme POSIX ? il en fait plus.
par rapport à bash ? en effet, il en fait moins !

erresse · Le 24/07/2018, à 15:21

Salut,
Je trouve comme lynn que ce lien est plutôt piégeux...
Si on conseille à quelqu'un de lancer son script par la commande "sh mon_script", comment s'exécutera-t-il ?
Il y a un risque que le script soit lancé par dash et qu'il se plante s'il a été conçu pour bash, par exemple (ce qui est le cas de la plupart des scripts récents).
Alors que s'il est lancé par "bash mon_script" ou simplement avec "./mon_script" il va fonctionner parfaitement.
Ce ne serait pas plus mal que ce lien "/bin/sh" pointe sur bash plutôt que dash, non ?

Watael · Le 24/07/2018, à 15:53

ça va ralentir le démarrage !
comme je l'ai dit précédemment, dash a été choisi dans cet objectif : accélérer le démarrage.

erresse · Le 24/07/2018, à 16:38

Je comprends bien l'intérêt d'accélérer le démarrage et donc, de recourir à dash au lieu de bash pour cette phase-là.
Toutefois, comme "sh" désigne le shell de façon générique, qu'on rencontre souvent dans les tutos et autres docs un suffixe ".sh" pour caractériser les scripts shell et que l'exécution d'un script est souvent indiquée avec "sh le_script.sh", c'est alors dash qui va lancer le script.
Même si on a bien pris la précaution de mettre un shebang avec "#!/bin/bash", c'est quand même dash qui est appelé par la commande "sh".
Il est dommage que le shebang ne soit alors pas pris en considération, comme c'est le cas lorsqu'on lance le script par "./le_script.sh", car du coup il ne va pas fonctionner sans qu'on comprenne trop pourquoi (du moins pour l'utilisateur non chevronné qui a peut-être téléchargé le script et tente juste de l'exécuter)...
C'est un peu comme le piège (dont j'ai eu l'occasion de profiter) du script écrit sous Windows et qui déconne en plein sous Linux, juste parce-que les fins de lignes ne sont pas marquées par LF mais par CR/LF... Pas forcément évident à déboguer de prime abord !

Watael · Le 24/07/2018, à 16:55

il y a pourtant longtemps, avant que j'ai écrit mon premier script déjà, qu'il est dit de ne pas lancer un script en le faisant précédé de sh, mais de le rendre exécutable (...), parce que soit le script sera exécuté par un shell strictement POSIX, soit parce que bash désactive ses fonctionnalités "avancées".

Ubuntu-fr

Navigation

Liens de recherche

Annonce

#1 Le 23/07/2018, à 19:32

Dash versus Bash

#2 Le 23/07/2018, à 19:39

Re : Dash versus Bash

#3 Le 23/07/2018, à 20:59

Re : Dash versus Bash

#4 Le 23/07/2018, à 21:20

Re : Dash versus Bash

#5 Le 23/07/2018, à 21:32

Re : Dash versus Bash

#6 Le 23/07/2018, à 22:01

Re : Dash versus Bash

#7 Le 23/07/2018, à 22:46

Re : Dash versus Bash

#8 Le 24/07/2018, à 05:13

Re : Dash versus Bash

#9 Le 24/07/2018, à 12:51

Re : Dash versus Bash

#10 Le 24/07/2018, à 15:21

Re : Dash versus Bash

#11 Le 24/07/2018, à 15:53

Re : Dash versus Bash

#12 Le 24/07/2018, à 16:38

Re : Dash versus Bash

#13 Le 24/07/2018, à 16:55

Re : Dash versus Bash

Pied de page des forums