Bash → 变量 → Bash → This pageFormat For time Builtin$TIMEFORMAT defines the format string for the time builtin.LinksBash manualBashSupport Pro 是一个 支持 $TIMEFORMAT 的 Bash 集成开发工具 – 马上试用！