$TIMEFORMAT
–
Format For time Builtin
$TIMEFORMAT defines the format string for the time builtin.
Links
BashSupport Pro is a Bash IDE with support for $TIMEFORMAT – try it now!
$TIMEFORMAT
–
Format For time Builtin$TIMEFORMAT defines the format string for the time builtin.