Zsh
如何在zsh中獲取命令的執行毫秒時間?
僅列印命令的
time
第二次執行。如果有像 IPython 強大的
timeit
魔法命令這樣的解決方案,那就太好了。
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