Une basherie rapide
Je pense qu'avaler le man de bash n'est pas un truc humain. La personne qui vous soutient l'avoir fait est probablement un droïde (qui sont également les seuls capables de replier un carte michelin dans le bon sens du premier coup). Du coup, on l'avale par petit coup, suivant les intérêts du moment.
En parcourant ladite page de man aujourd'hui je suis tombé sur le chapitre des «braces expansion». Il est dit la chose suivante :
$ echo a{b,c,d}e abe ace ade
Sur le coup, on se dit «ah, tient, c'est joli». La chose devient vraiment utile quand on lit ça:
$ mkdir /var/www/{plop1,plop2,plop3}
$ touch /var/www/plop{1,2,3}/index.php
(J'ai modifié l'exemple du touch suite à la remarque de ph7, merci à lui).
Merveilleux exemple tiré de la continuation de Advancing in the Bash Shell (merci à Noel pour le lien)
$ ls /usr/{,local/}{,s}bin/jojo
Remarquez les expansions vides et imbriquées.
Bonne journée à tous.
Publicité