OVH Cloud OVH Cloud

[recuperer la sortie de time]

4 réponses
Avatar
Moretti
Bonjour,
J'aimerais savoir comment recuperer la sortie de la commande shell time qui
permet de connaitre la duree d'execution d'un processus:
time ma_commande ses_arguments

Une redirection 2> ou 1>, ou les 2, ne redirige que les sorties de
ma_commande et pas celle du time.

Quelqu'un voit-il une solution ?
Merci

--
Sebastien Moretti

4 réponses

Avatar
Eric Razny
Le Thu, 02 Feb 2006 08:49:59 +0100, Moretti a écrit :

J'aimerais savoir comment recuperer la sortie de la commande shell time
qui permet de connaitre la duree d'execution d'un processus: time
ma_commande ses_arguments

Une redirection 2> ou 1>, ou les 2, ne redirige que les sorties de
ma_commande et pas celle du time.


Bonjour.
C'est normal, c'est le shell qui va te répondre après les redirections.

Quelqu'un voit-il une solution ?


Lance un shell avec l'exécution d'une commande :

$ bash -c "time sleep 5 " 2> /tmp/result
$ cat /tmp/result

real 0m5.008s
user 0m0.004s
sys 0m0.000s


hth.
Eric.

Avatar
Eric Razny
Le Thu, 02 Feb 2006 08:49:59 +0100, Moretti a écrit :

J'aimerais savoir comment recuperer la sortie de la commande shell time
qui permet de connaitre la duree d'execution d'un processus: time
ma_commande ses_arguments

Une redirection 2> ou 1>, ou les 2, ne redirige que les sorties de
ma_commande et pas celle du time.


Bonjour.
C'est normal, c'est le shell qui va te répondre après les redirections.

Quelqu'un voit-il une solution ?


Lance un shell avec l'exécution d'une commande :

$ bash -c "time sleep 5 " 2> /tmp/result

$ cat /tmp/result

real 0m5.008s
user 0m0.004s
sys 0m0.000s


hth.
Eric.

Avatar
Marc La Senne
/usr/bin/time -o <nom_de_fichier> <commande>

Moretti wrote:
Bonjour,
J'aimerais savoir comment recuperer la sortie de la commande shell time qui
permet de connaitre la duree d'execution d'un processus:
time ma_commande ses_arguments

Une redirection 2> ou 1>, ou les 2, ne redirige que les sorties de
ma_commande et pas celle du time.

Quelqu'un voit-il une solution ?
Merci



Marc La Senne
Unix Systems Administrator
Office Automation Unix
Amadeus S.A.S.
+33.(0)4.97.15.44.59

Avatar
Moretti
Bonjour,
J'aimerais savoir comment recuperer la sortie de la commande shell time
qui permet de connaitre la duree d'execution d'un processus:
time ma_commande ses_arguments

Une redirection 2> ou 1>, ou les 2, ne redirige que les sorties de
ma_commande et pas celle du time.

Quelqu'un voit-il une solution ?
Merci


Merci a tous les deux.
les options du man time existent pour /usr/bin/time mais pas pour time.

--
Sebastien Moretti