Acabo de cambiar a zsh
. Sin embargo, realmente no me gusta cómo el time
comando incorporado también genera el comando que está cronometrando. Prefiero el bash
estilo de salida. ¿Alguien sabe cómo cambiarlo?
Zsh:
[casqa1:~/temp]$ time grep foo /dev/null
/usr/local/gnu/bin/grep --color -i foo /dev/null 0.00s user 0.00s system 53% cpu 0.004 total
Golpetazo:
[casqa1:~/temp]$ bash
casqa1.nyc:~/temp> time grep foo /dev/null
real 0.0
user 0.0
sys 0.0
Gracias,
/ YGA
TIMEFMT=$'\nreal\t%*E\nuser\t%*U\nsys\t%*S'
. La*
s en las banderas los formatea como horas / minutos según bash, en lugar de solo segundos. Más informaciónTIMEFMT
aquí .