Le 12503i�me jour apr�s Epoch,
Yves Rutschle �crivait:
> Maintenant, pour la vraie surprise (o� il faut sans doute que je pr�cise que
> j'ai test� sous bash):
>
> [EMAIL PROTECTED]:yves$ time cat linux | perl -ne 'print if !$l{$_}++' >
> /dev/null
>
> real 0m32.237s
> user 0m25.640s
> sys 0m5.260s
>
> [EMAIL PROTECTED]:yves$ time cat linux | awk '!l[$0]++' > /dev/null
>
> real 0m43.167s
> user 0m40.080s
> sys 0m2.670s
>
>
> Il semble donc maginalement _plus_efficace_ d'utiliser cat+pipe que d'utiliser
> la redirection de bash.
Euh... Tu es s�r que ta commande ne mesure pas simplement le temps de
cat seulement ?
Auquel cas, �a deviens plus compliqu� d'�valuer ce qu'il se passe
r�ellement :)
--
Wiker's Law:
Government expands to absorb revenue and then some.
