Sì, usa time <command>
, come
time ls
Consulta man time
per ulteriori opzioni. Collegamento.
Ecco come un sleep
di un secondo sembra, cronometrato con time
:
$ time sleep 1
real 0m1.001s
user 0m0.000s
sys 0m0.000s
Usa
/usr/bin/time
invece che il tempo incorporato nella bash:è AFAIK più configurabile.
e.g. /usr/bin/time --format=' \n---- \nelapsed time is %e'ls