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 : Sélectionner tout - Visualiser dans une fenêtre à part
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 ?

@++