Измените выходной формат времени zsh

Я только что переключился на 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

19
задан 17.05.2010, 16:17

1 ответ

Это довольно близко:

$ TIMEFMT=$'\nreal\t%E\nuser\t%U\nsys\t%S'

$ time sleep 1

real    1.01s
user    0.00s
sys     0.00s
29
ответ дан 07.12.2019, 10:16

Теги

Похожие вопросы