 |
|
|
| |
| PRATIQUE OUTILS |
|
|
|
| Shell Unix : les differents "pipes" disponibles |
| |
| Combinez les types de tubes pour réaliser des scripts efficaces et compacts.
(30/11/2005) |
 |
Il n'y
a pas que | dans le monde
des tubes (ou pipes) du shell (lire notre
article du 04/11/04). Le shell Bash propose également
une poignée d'autres, complémentaires.
A chacun correspond un sens précis, ce qui permet des combinaisons
très élaborées.
Plusieurs pipes peuvent être réunis sur une même ligne,
ouvrant la voie à des connexions entre les différentes opérations,
et ainsi la réalisation de script shell plus compacts
et mieux construits.
|
Les
différents pipes du shell Unix
|
|
Pipe
|
Signification
|
|
|
|
La sortie
de chaque commande est liée à l'entrée de la commande
suivante : les commandes se passent les données entre
elles, chacune les traitant à leur manière.
|
|
>
|
Redirige
la sortie d'une opération vers un fichier.
|
|
>>
|
Comme
>, mais si le fichier existe déjà, ajoute les nouvelles
données à la fin de celui-ci plutôt que le remplacer.
|
|
<
|
À l'inverse,
chaque le contenu d'un fichier et l'envoi en entrée
de la commande suivante.
|
|
;
|
L'opération
à droite du pipe ne s'exécute qu'à la fin de l'opération
de gauche. Équivalent à un retour à la ligne.
|
|
&
|
Les deux
opérations sont lancées en même temps, la première en
arrière plan.
|
|
&&
|
L'opération
de droite n'est exécutée que si la première renvoie
un code de succès (retour nul).
|
|
||
|
L'opération
de droite n'est exécutée que si la première renvoie
un code d'échec (retour non nul).
|
|
|
|
|
|
|
|
Accueil
