Exporter un résultat de time

Bonjour

Question sans doute très bête.
Je veux utiliser time pour connaître le temps CPU d'un processus.
J'ai beau lire le man et pourtant, j'ai du mal à exporter le résultat de time vers un fichier (option -o). J'ai un résultat du style:

Code:

---

1 2 3 4 5 6 7

]$ time -o time.txt ls bash: -o: command not found   real 0m0.001s user 0m0.000s sys 0m0.001s

---

C'est vexant !
Quelqu'un connait-il mieux l'utilisation de time ?

@++

Ok, j'ai lu trop rapidement le man. Si je mets le path complet de time, ça marche.

@++

salut GLdavid,
c'est à dire :mrgreen:? t'as fait quelle commande?

Code:

---

/usr/bin/time -a --output=toto.txt ls

---

bizarre qu'il n'y ait pas un autre moyen