comment faire pour rediriger le résultat de linux temps de commande des fichiers

Je suis en exécutant la commande suivante (sur Ubuntu)

time wget 'http://localhost:8080/upLoading.jsp' --timeout=0

et d'obtenir un résultat dans la ligne de commande

real    0m0.042s
user    0m0.000s
sys     0m0.000s

J'ai essayé ce qui suit:

time -a o.txt wget 'http://localhost:8080/upLoading.jsp' --timeout=0 

et obtenez l'erreur suivante

-a: command not found

Je veux obtenir le résultat pour être redirigé vers un fichier. Comment puis-je le faire?

Probablement que vous utilisez bash, et il a time de commande intégrée. (voir help time) Votre commande doit utiliser /usr/bin/time pour fonctionner correctement (à découvrir où les binaires de temps est d'utiliser which time). Considérant cela, vous devez utiliser: time -o out.txt -a ...

OriginalL'auteur Julias | 2012-06-18