Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 20/06/2007, à 10:01

cushy007

[RESOLU] Shell - Commandes "source" "[[" "function" not found

Bonjour,

J'ai la version 3.1.17 de bash avec la commande "bash --version".

Bash me renvoie une erreur "not found" lorsque j'exécute un script qui contient les commandes "source" "[[" ou "function" alors qu'elles sont documentées dans le man.

La commande "function" est facultative et "source" peut être remplacée par "." (qui fonctionne) mais l'absence de la commande "[[" me gêne un peu.

Quelqu'un a-t-il le même problème ? ou mieux... la solution ?

Merci smile

Dernière modification par cushy007 (Le 20/06/2007, à 12:50)

Hors ligne

#2 Le 20/06/2007, à 10:47

Henry de Monfreid

Re : [RESOLU] Shell - Commandes "source" "[[" "function" not found

Je crois qu'un des probleme d'Ubuntu est que le shell par defaut n'est pas bash mais dash.
On en parle ici.


« Je te hais plus qu'aucun des dieux qui vivent sur l'Olympe
Car tu ne rêves que discordes, guerres et combats. »
Trouble obsessionnelcompulsif
Le TdCT est revenu (ils reviennent tous), pour y accéder, demandez à nany ou moi.

Hors ligne

#3 Le 20/06/2007, à 11:27

cushy007

Re : [RESOLU] Shell - Commandes "source" "[[" "function" not found

Merci pinballyoda, c'est bien ça le problème.

Qu'est-ce qui est le plus "propre" ? :

- remplacer #!/bin/sh par #!/bin/sh en tête de tous mes scripts
- Faire pointer le lien /bin/sh sur /bin/bash plutôt que sur /bin/dash

sachant que sur "packages.debian.org", ils disent que les deux seuls avantage de dash sont de prendre moins de place sur une disquette (ce dont je me fous totalement) et une éxecution plus rapide que bash (mais voit-on vraiment la différence ?)

Hors ligne

#4 Le 20/06/2007, à 11:55

Henry de Monfreid

Re : [RESOLU] Shell - Commandes "source" "[[" "function" not found

Je pense que le plus simple est de faire pointer le lien /bin/sh sur /bin/bash plutôt que sur /bin/dash.
Qu'on me corrige si je me trompe mais bash peut executer tous les scripts dash sans probleme?


« Je te hais plus qu'aucun des dieux qui vivent sur l'Olympe
Car tu ne rêves que discordes, guerres et combats. »
Trouble obsessionnelcompulsif
Le TdCT est revenu (ils reviennent tous), pour y accéder, demandez à nany ou moi.

Hors ligne

#5 Le 20/06/2007, à 12:05

cushy007

Re : [RESOLU] Shell - Commandes "source" "[[" "function" not found

Bon bein trop tard, j'ai modifié les en-têtes de tous mes scripts hmm

J'ai préféré garder dash en interpréteur par défaut car après tout, je l'ai toujours utilisé sans problème. De plus, mes scripts seront plus portables avec l'en-tête "#!/bin/bash" cool

Dash étant apparemment  une version allégée de bash, il doit être possible de faire tourner tous les scripts écrits pour dash dans bash (sauf exception... ce qui ne m'étonnerait pas en informatique big_smile)

Hors ligne

#6 Le 20/06/2007, à 12:14

Henry de Monfreid

Re : [RESOLU] Shell - Commandes "source" "[[" "function" not found

Penses à ajouter [RESOLU] dans le titre de ton premier message.


« Je te hais plus qu'aucun des dieux qui vivent sur l'Olympe
Car tu ne rêves que discordes, guerres et combats. »
Trouble obsessionnelcompulsif
Le TdCT est revenu (ils reviennent tous), pour y accéder, demandez à nany ou moi.

Hors ligne