Как получить миллисекундное время выполнения команды в zsh?
Решение заключалось в том, что я должен был обязательно выбрать Vim-версию загрузки цветовой схемы изhttp://bytefluent.com/vivify/. Я загружал неправильную предустановленную версию GVim...
Для всех, кому интересно, переключатель находится в верхней части правой -боковой панели сайта, рядом с «Имя схемы>» и «Инструкции». Как-то я это пропустил...
Магическая команда ipython timeitпо умолчанию распечатывает статистический отчет по нескольким выполнениям вашего оператора. Зарезервированное слово zsh timeзапустит вашу команду только один раз.
Если вас интересует только измерение времени выполнения внешних команд (, а не встроенных и функций ), вы можете использовать сверхтонкое . Это программа, которая многократно выполняет за вас команду и выводит некоторую статистику.
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