Le 12503i�me jour apr�s Epoch,
Gabriel Paubert �crivait:
> 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.
Ah ben merci. 'man time' m'avait enduit d'erreur :)
--
A gourmet who thinks of calories is like a tart that looks at her watch.
-- James Beard
