$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 ist eine Zsh IDE mit Unterstützung für $REPORTTIME - probieren Sie es jetzt aus!