Zsh

如何在zsh中獲取命令的執行毫秒時間?

  • July 12, 2018

僅列印命令的time第二次執行。

如果有像 IPython 強大的timeit魔法命令這樣的解決方案,那就太好了。

zshtime使用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

引用自:https://unix.stackexchange.com/questions/453338