Lancer un script dans un shell bash sou debian

Bonjour,

j'ai une question bete, je me suis rendu compte que mon script ne se lancait pas dans un shell bash, mais dans le shell par défaut de Debian qui est le shell dash.
Comment le lancer dans un shell bash sachant que lorsque l'on lance le script comme ceci, le shell par défaut est dash:

Code:

---

sh mon_script.sh

---

Cordialement,

vandman

Bonjour,

Je m'auto réponds, il faut mettre dans la première ligne du script ceci:

Code:

---

#!/bin/bash

---

changer les droits pour autoriser l'exécution du fichier comme un programme et lancer le script comme ceci:

Code:

---

./mon_script.sh

---

Cordialement,

vandman

Bonjour :coucou:

J'ai quelques doutes qu'en tapant sh mon_script.sh, ce soit exécuté par dash.
Ou alors, sh est un lien symbolique vers dash qui ne dit pas son nom.
En tout état de cause bash mon_script.bash aurait dû suffire.

Salut,

Citation:

---

Envoyé par Flodelarab

Bonjour :coucou:

J'ai quelques doutes qu'en tapant sh mon_script.sh, ce soit exécuté par dash.
Ou alors, sh est un lien symbolique vers dash qui ne dit pas son nom.

---

Malheureusement c'est bien le cas :?

Code:

---

1 2 3 4

jp@jessie:~$ readlink -f /bin/sh /bin/dash jp@jessie:~$

---

Héritage de la collaboration avec Ubuntu. Autant pour l'installeur d'Ubuntu ce fut une bonne chose, autant ça ne l'est pas concernant le shell :(