Comparaison de chaînes dans bash. [[: pas trouvé

J'essaye de comparer des chaînes dans bash. J'ai déjà trouvé une réponse sur la façon de le faire sur stackoverflow . Dans le script que j'essaie, j'utilise le code soumis par Adam dans la question mentionnée:

#!/bin/bash
string='My string';

if [[ "$string" == *My* ]]
then
  echo "It's there!";
fi

needle='y s'
if [[ "$string" == *"$needle"* ]]; then
  echo "haystack '$string' contains needle '$needle'"
fi

J'ai aussi essayé l'approche de ubuntuforums que vous pouvez trouver dans le 2ème post

if [[ $var =~ regexp ]]; then
  #do something
fi

Dans les deux cas, je reçois une erreur:

[[: not found

Qu'est-ce que je fais mal?

[[est un bash-builtin. Votre /bin/bashne semble pas être une véritable bash.

À partir d'un commentaire:

Ajouter #!/bin/bashen haut du fichier

Comment exécutez-vous votre script? Si vous avez fait avec

$ sh myscript

tu devrais essayer:

$ bash myscript

ou, si le script est exécutable:

$ ./myscript

sh et bash sont deux coquilles différentes . Alors que dans le premier cas vous passez votre script comme argument à l'interpréteur sh, dans le second cas vous décidez sur la toute première ligne de l'interpréteur qui sera utilisé.

Est la première ligne de votre script:

#!/bin/bash

ou

#!/bin/sh

le sh shell produit ces messages d'erreur, pas bash

J'ai eu ce problème lors de l'installation de Heroku Toolbelt

C'est ainsi que j'ai résolu le problème

$ ls -l /bin/sh
lrwxrwxrwx 1 root root 4 ago 15  2012 /bin/sh -> dash

Comme vous pouvez le voir, / bin / sh est un lien vers "dash" (pas bash), et [[est un sucre syntaxique bash. Je viens donc de remplacer le lien vers / bin / bash. Attention à utiliser rm comme ça dans votre système!

$ sudo rm /bin/sh
$ sudo ln -s /bin/bash /bin/sh

Comme @Ansgar l'a mentionné, [[est un bashisme, c'est-à-dire intégré à Bash et non disponible pour d'autres shells. Si vous souhaitez que votre script soit portable, utilisez [. Les comparaisons nécessiteront également une syntaxe différente: remplacez ==par =.

Spécifiez bash au lieu de sh lors de l'exécution du script. J'ai personnellement remarqué qu'ils sont différents sous ubuntu 12.10:

bash script.sh arg0 ... argn