[ ] ou [[ ]] ?

Top Page

Reply to this message
Author: Marc TERRIER
Date:  
To: guilde
Subject: [ ] ou [[ ]] ?
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