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