bash – /usr/bin/time – 格式输出以毫秒为单位的时间

我使用/usr/bin/time程序来测量命令的时间.
使用–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所需的时间.

注意％N is not supported on all systems,but most of them.