$TIMEFORMAT
–
Format For time Builtin
$TIMEFORMAT defines the format string for the time builtin.
Links
BashSupport Pro ist eine Bash IDE mit Unterstützung für $TIMEFORMAT – probieren Sie es aus!
$TIMEFORMAT
–
Format For time Builtin$TIMEFORMAT defines the format string for the time builtin.