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