next up previous contents Next: Substitution avec guillemets `inversés Up: Les scripts du shell. Previous: Notation avec guillemets 'simples   Table des matières  

8.11 Notation avec guillements "doubles".

Les guillements doubles "" ont exactement la signification inverse de celle des guillemets simples . Ils autorisent le shell à interpréter les caractères qu'ils renferment. Ils sont utilisés car ils permettent de grouper les mots et les caractères séparés par un espace blanc en un seul mot apparent (autrement le shell considérerait chaque partie séparée par un espace blanc comme un terme). Essayez:

for i in "henry john mary sue"; do

      echo "$i   is    a    person"

done 



et comparez avec:

for i in henry john mary sue; do

      echo "$i   is    a    person"

done 



1-01-2006