Juste une petite question sur le timing des programmes sous Linux: la commande time permet de mesurer le temps d'exécution d'un programme:
[ed@lbox200 ~]$ time sleep 1
real 0m1.004s
user 0m0.000s
sys 0m0.004s
Ce qui fonctionne bien. Mais si j'essaie de rediriger la sortie vers un fichier, il échoue.
[ed@lbox200 ~]$ time sleep 1 > time.txt
real 0m1.004s
user 0m0.001s
sys 0m0.004s
[ed@lbox200 ~]$ cat time.txt
[ed@lbox200 ~]$
Je sais qu'il existe d'autres implémentations de temps avec l'option -o pour écrire un fichier mais ma question concerne la commande sans ces options.
Aucune suggestion ?