Re: script sh / redirection de sorties

Nicolas George <nicolas$george@salle-s.org> writes:

Alain Ketterlin , dans le message
<87y218wton.fsf@universite-de-strasbourg.fr.invalid>, a écrit :

L'ordre est important, les redirections sont faites de gauche à droite

>
Sauf |, qui s'écrit en dernier mais agit en premier.

Hmm, techniquement un pipe n'effectue pas une redirection (le manuel
posix parle de "connexion" ou "affectation"). Mais effectivement, ce
"truc" est fait avant les redirections des différentes commandes du
pipeline, qui donc en annulent possiblement l'effet. Par exemple :

ls | cat < whatever.txt

redirige l'entrée standard de cat sur le fichier, après l'avoir
initialemment connecté/affectée au pipe (et ls prend donc un SIGPIPE,
puisqu'il n'y a plus rien à l'extrémité en lecture du pipe).

-- Alain.