$TIMEFORMAT: Format For time Builtin

$TIMEFORMAT defines the format string for the time builtin.

BashSupport Pro is a Bash IDE with support for $TIMEFORMATtry it now!
© 2020–2024 Joachim Ansorg
Imprint
Privacy Policy
Legal