Tengo este comando:
time -p sh -c 'command1; command2;'
Así command1
, y command2
se ejecuta y consigo el verdadero, el usuario sys y hora impresa en la consola.
Pero quiero que command1; command2;
se repita 10 veces y luego quiero obtener el tiempo que se usa para los dos comandos.
time (for i in {1..10}; do sleep 1 ; done)
Con zsh:
zsh
'srepeat
se hereda decsh
.Con
tcsh
:Te daría el tiempo para cada iteración y el tiempo total al final.
fuente