Bonjour,
Comment peut-on récupérer, juste real : temps total qui s'est écoulé.
C'est pour mesurer le temps d’exécution d'un script.
Merci,
![]()
Bonjour,
Comment peut-on récupérer, juste real : temps total qui s'est écoulé.
C'est pour mesurer le temps d’exécution d'un script.
Merci,
![]()
Bonjour,
cf. man bash /TIMEFORMAT
Code BASH : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
3
4 $ TIMEFORMAT='%3lR' $ elTime=$({ time cat ~/monFichier;} 2>&1 1>/dev/null) $ echo "$elTime" 0m0.002s
Salut,
J'ai essayé votre commande mais elle ne fonctionne pas, elle me renvoie tjrs le même résultat 0m0.001s.
Merci,
![]()
Bonjour,
C'est que le temps d'execution que tu cherches à mesurer est trop petit, tout simplement.
Salut,
Merci, je vais tester je vous tient au courant.
![]()
Partager