$REPORTTIME
–
Reporting for commands by execution time
$REPORTTIME controls reporting of commands which take longer to execute than specified by this value.
The value is specified in seconds of the combined user and system execution time.
Links
BashSupport Pro 是一款支持 reporttime** 的 **Zsh 集成开发环境 - 立即试用！