Sí, usa time <command>
, como
time ls
Consultar man time
para más opciones. Enlace.
Así es como un sleep
de un segundo parece, cronometrado con time
:
$ time sleep 1
real 0m1.001s
user 0m0.000s
sys 0m0.000s
Usar
/usr/bin/time
en cambio, el tiempo incorporado en bash:es más configurable AFAIK.
e.g. /usr/bin/time --format=' \n---- \nelapsed time is %e'ls