Re: [HS] lignes uniques, performances
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.
Gabriel
Reply to: