• [^] # Re: Maintenant qu'on est vendredi...

    Posté par . En réponse au journal Python à trou : trouve ton environnement. Évalué à 4.

    Et [[ est une builtin du shell,

    [[ est un mot-clé du shell. En Bash du moins, je ne crois pas que ça existe en shell POSIX. [ est bien une « commande interne », aka builtin.

    $ command -V [[
    [[ est un mot-clé du shell

    la commande compgen -k (un builtin) donne la liste des mots-clés, et compgen -b celle des builtins.

    Par ailleurs j’ai découvert que ]] dispensait d’utiliser le ; pour indiquer la fin d’une commande :

    $ if [[ 0 -eq 0 ]]; then echo plop; fi
    plop
    $ if [[ 0 -eq 0 ]] then echo plop; fi
    plop

    Pour ma part je continue à le mettre parce que la coloration syntaxique dans l’éditeur n’a pas l’air d’être au courant ! Puis faut avouer que c’est pénible pour elle ce genre de « facilité » syntaxique.