On Fri, Mar 26, 2004 at 06:12:47PM +0100, Fran�ois TOURDE wrote:
> Le 12503i�me jour apr�s Epoch,
> Yves Rutschle �crivait:
>
> > On Fri, Mar 26, 2004 at 12:50:20PM +0100, Fran�ois TOURDE wrote:
> >> Euh... Tu es s�r que ta commande ne mesure pas simplement le temps de
> >> cat seulement ?
> >
> > Oui:
> > [EMAIL PROTECTED]:yves$ time cat linux > /dev/null
> >
> > real 0m0.457s
> > user 0m0.010s
> > sys 0m0.440s
> >
> >
> > J'y avais pens� :-)
>
> Je crois quand m�me que tu commets une erreur. time est une commande
> comme les autres, et du coup le pipe s'applique � 'time cat ...' !
>
> En tout cas c'est ce qui devrait se passer ...
>
> si je fais 'time nfjnsdfljnsdf >/dev/null 2>&1' J'ai quand m�me une
> sortie sur le terminal. J'avoue ne pas comprendre :(
C'est pourtant simple, time est un mot r�serv� de bash.
Pour les d�tails: man bash, section SHELL GRAMMAR, paragraphe Pipelines.
Gabriel
