Sono appena passato a zsh
. Tuttavia, in realtà non mi piace come il time
comando incorporato emetta anche il comando che è temporizzato. Preferisco di gran lunga l' bash
output di stile. Qualcuno sa come 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
bash:
[casqa1:~/temp]$ bash
casqa1.nyc:~/temp> time grep foo /dev/null
real 0.0
user 0.0
sys 0.0
Grazie,
/ YGA
TIMEFMT=$'\nreal\t%*E\nuser\t%*U\nsys\t%*S'
. Le*
s nelle bandiere le formattano come ore / minuti come da bash, anziché solo secondi. Maggiori informazioniTIMEFMT
qui .