11
Comment rediriger la sortie de la commande time vers un fichier sous Linux?
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 …