$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 is a Zsh IDE with support for $REPORTTIME – try it now!