Simplemente llame times
sin argumentos al salir de su script.
Con ksh
o zsh
, también puede usar time
en su lugar. Con zsh
, time
también le dará el tiempo de reloj de pared además del tiempo de CPU del usuario y del sistema .
Para preservar el estado de salida de su script, puede hacerlo:
ret=$?; times; exit "$ret"
O también puede agregar una trampa en EXIT
:
trap times EXIT
De esa manera, se llamarán los tiempos cada vez que el shell salga y se conservará el estado de salida.
$ bash -c 'trap times EXIT; : {1..1000000}'
0m0.932s 0m0.028s
0m0.000s 0m0.000s
$ zsh -c 'trap time EXIT; : {1..1000000}'
shell 0.67s user 0.01s system 100% cpu 0.677 total
children 0.00s user 0.00s system 0% cpu 0.677 total
También tenga en cuenta que todos bash
, ksh
y zsh
tener una $SECONDS
variable especial que automáticamente se incrementa cada segundo. En ambos zsh
y ksh93
, esa variable también se puede hacer punto flotante (con typeset -F SECONDS
) para obtener más precisión. Este es solo el tiempo del reloj de pared, no el tiempo de la CPU.