$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.

BashSupport Pro ist eine Zsh IDE mit Unterstützung für $REPORTTIME - probieren Sie es jetzt aus!
© 2020–2024 Joachim Ansorg
Impressum
Datenschutz
Rechtliches