Re: bash redirection

Page principale

Répondre à ce message
Auteur: Marc
Date:  
À: guilde
Sujet: Re: bash redirection
Le 04/08/2018 à 11:16, Patrick Dupre a écrit :
> Bonjour,
>
> Je fais
> gawk -f file.awk < data_in > data_out
> donc je recupere toutes les sorties dans data_out.
>
> Est-ce qu'il y aurait un moyen de forcer quelques sorties
> a l'ecran ?
> Un print special dans file.awk ?


tu peux faire un print vers /dev/stderr

ce qui est envoyé vers sdterr peut ensuite être redirigé en sortie vers
un fichier avec '2>fichier'

--
Marc BERLIOUX
"Reality ? Isn't that where the pizza delivery guy comes from ? "