bash命令计时器 Bash扩展名，用于为每个执行的命令行打印定时信息。 用法 执行完每个命令行后，脚本将打印出总执行时间（精确到毫秒），然后是当前时间。 执行时间的格式设置为易于阅读； 例如2h 7m 42s301 。 演示： 要求 在现代Linux和Mac OS X系统上，该脚本几乎可以直接使用。 请报告任何不兼容性。 请注意，默认情况下，此脚本将与使用DEBUG陷阱和PROMPT_COMMAND任何其他脚本冲突。 但是，如果在系统上检测到 ，它将使用bash-preexec来与其他脚本