[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: commande "time"



Le 29/09/2000 a 18h42, Stephane Leclerc a dit:
> 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

a+
-- 
Thomas NOEL <thomas.noel@auf-francophonie.org>
Systèmes et Réseaux du Campus numérique francophone de Dakar
Bureau Afrique de l'Agence Universitaire de la Francophonie 
BP 10017, Dakar - Liberté, Sénégal.



Reply to: