Format For time Builtin

$TIMEFORMAT defines the format string for the time builtin.

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