zsh time
использует переменную TIMEFMT
для управления форматом. По умолчанию это %J %U user %S system %P cpu %*E total
, что приводит к следующему.
$ time sleep 2
sleep 2 0.00s user 0.00s system 0% cpu 2.002 total
Это дает миллисекундную точность (по крайней мере для total
), так что, возможно, ваша система имеет другой установленный по умолчанию (отстающий дистрибутив? )или изменил TIMEFMT
.
Возможные форматы см. на странице руководства . Я использую следующее в~/.zshrc
:
TIMEFMT=$'\n================\nCPU\t%P\nuser\t%*U\nsystem\t%*S\ntotal\t%*E'
, что приводит к следующему.
$ time sleep 2
================
CPU 0%
user 0.003
system 0.000
total 2.006