Re: bash redirection

Top Page

Reply to this message
Author: Marc
Date:  
To: guilde
Subject: 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 ? "