Я только что переключился на zsh
. Однако мне действительно не нравится как time
встроенная команда также производит команду, которую она синхронизирует. Я очень предпочитаю bash
стиль производится. Кто-либо знает, как переключить его?
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
Спасибо,
/YGA
Это довольно близко:
$ TIMEFMT=$'\nreal\t%E\nuser\t%U\nsys\t%S'
$ time sleep 1
real 1.01s
user 0.00s
sys 0.00s