Re: commande "time"
Gagné ! Je ferais mieux de partir en week-end.
Bon piege à con quand même. Et le "which time" ne renvoit rien. Je me
demande si c'est un bug ou pas ?
Stef...
>> Sous Patoto, la commande time n'accepte aucun argument ?
>
>Je pense que c'est parce que c'est la commande interne de bash qui est
>utilisée. Le "vrai" time est /usr/bin/time
............................................................
. Linux - Linux/Debian - php3/4 - Apache - MySQL - jserv .
. email: info@actionweb.fr - http://www.actionweb.fr .
. Tel: (0)141 906 100 - Fax: (0)141 906 101 .
............................................................
Reply to: