I've just switched to
zsh. However, I really don't like how the
time builtin command also outputs the command that it's timing. I much prefer the
bash style output. Anyone know how to switch it over?
[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
[casqa1:~/temp]$ bash casqa1.nyc:~/temp> time grep foo /dev/null real 0.0 user 0.0 sys 0.0