Re: commande "time"
Le 29/09/2000 a 19h23, 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
> Bon piege à con quand même. Et le "which time" ne renvoit rien. Je me
> demande si c'est un bug ou pas ?
Non, c'est du Unix tout craché : le which doit t'afficher "les chemins
d'accès complets que le shell utiliserait pour les exécuter". Comme il n'y
en a pas, il ne t'en affiche pas. Et comme il n'y a pas d'erreur, il ne
t'affiche rien ;)
Peu bavard, mais explicite, après tout...
--
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: