Re: [HS] lignes uniques, performances
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:
>> > [yves@oban]: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
Reply to: