Re: [ ] ou [[ ]] ?

Page principale

Répondre à ce message
Auteur: samuel veyre
Date:  
À: Marc TERRIER
CC: guilde
Sujet: Re: [ ] ou [[ ]] ?
http://mywiki.wooledge.org/BashFAQ/031


Le 27 octobre 2011 12:22, Marc TERRIER <marc.terrier@???> a écrit :
> Bonjour à tous,
>
> Est-ce qu'une bonne âme voudrait bien me rappeler la différence entre les
> crochets doubles et les crochets simples, dans un 'if' ou un 'while', en
> script shell ? J'écris en ksh, au cas où cette info aurait une importance,
> mais c'est peut-être pareil en bash...
>
> Google ne m'a pas beaucoup aidé, et j'ai chez moi un bouquin dans lequel la
> réponse figure probablement, mais là, je suis au boulot...
>
> Merci d'avance.
>
> --
> Marc
> Mail : marc.terrier [at] free.fr
> Site : http://marc.terrier.free.fr
>
>