我使用 /usr/bin/time 程序来测量命令的时间。使用 --format 参数我可以格式化输出。例如
/usr/bin/time -f "%e" ls
有没有办法输出更高的经过秒数?还是只输出毫秒,而不是秒?
在 /usr/bin/time 的手册中,它只说了几秒钟,但也许有办法,有人可以帮助我......谢谢!
编辑:我知道使用环境变量“TIMEFORMAT”格式的bash命令“time”。抱歉,但我不想改变那个 env-var... 对我来说似乎有风险,解决方案应该是根本不会改变正在运行的系统的东西:)