bash – 打印经过的时间,以秒为单位,带有三个尾随数字

对于我正在编写的框架,我想测量一段(bash)代码执行多少,然后以秒为单位打印经过的时间.

为了测量,我执行以下操作:

start=$(date +%s%N)

# do something here

elapsed_time=$(($(date +%s%N) - start))

这给了我与经过的纳米级连接的经过的秒数.如果我现在除以1000000,我会得到ms的时间

elapsed_time_in_ms=$(($elapsed time / 1000000))

这一切都很好,似乎工作,但真正的问题是,我想以这种格式打印它:

12.789s

之前的地方.是秒后,点后面是ms值的最后3位数.

我将如何实现这样的目标?

编辑

我知道时间可能没什么用,我仍然想实现这个(即使只是出于美观的原因:-)).

编辑2

对于任何面临同样问题的人:

最后我选择使用时间,因为它不需要叉子,似乎是最便携的解决方案.

看一下it函数和全局total_elapsed_time变量here,看看我是如何实现它的.

你可以使用bc命令:
elapsed_time_in_ms=$(echo "scale=3;$elapsed_time/1000000" | bc)

刻度基本上设置了你想要的位数.

相关文章

用的openwrt路由器,家里宽带申请了动态公网ip,为了方便把2...
#!/bin/bashcommand1&command2&wait从Shell脚本并行...
1.先查出MAMP下面集成的PHP版本cd/Applications/MAMP/bin/ph...
1、先输入locale-a,查看一下现在已安装的语言2、若不存在如...
BashPerlTclsyntaxdiff1.进制数表示Languagebinaryoctalhexa...
正常安装了k8s后,使用kubect工具后接的命令不能直接tab补全...