Oui, utilisez time <command>
, comme
time ls
Consulter man time
pour plus d'options. Lien.
Voici comment un sleep
d'une seconde ressemble, chronométré avec time
:
$ time sleep 1
real 0m1.001s
user 0m0.000s
sys 0m0.000s
Utiliser
/usr/bin/time
à la place de l'heure intégrée dans le bash :elle est plus configurable AFAIK.
e.g. /usr/bin/time --format=' \n---- \nelapsed time is %e'ls