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,看看我是如何实现它的.