我使用/usr/bin/time程序来测量命令的时间.
使用–format参数我可以格式化输出.
例如
使用–format参数我可以格式化输出.
例如
/usr/bin/time -f "%e" ls
有没有办法输出更长的经过秒数精度?还是只输出毫秒,而不是秒?
在/usr/bin/time的手册中,它只会说几秒钟,但也许有一种方法可以帮助我…
谢谢!
编辑:
我知道使用环境变量“TIMEFORMAT”格式的bash命令“time”.对不起,但我不想改变env-var …似乎冒着冒险,解决方案应该是不会改变运行系统的东西:)
一种可能是使用date命令:
ts=$(date +%s%N) ; my_command ; tt=$((($(date +%s%N) - $ts)/1000000)) ; echo "Time taken: $tt"
%N should return nanoseconds,1毫秒是1000000纳秒,因此除法将以毫秒为单位返回执行my_command所需的时间.