我正在运行 Ubuntu 18.04，并且一般来说是 Ubuntu 和 Linux 的新手。我正在尝试将命令的执行时间测量到毫秒。我还想将此时间附加到文件中，因为我在 for 循环中多次执行此操作。最后，我想拥有最简单易读的语法。
长话短说：我希望/usr/bin/time命令返回精确到毫秒的结果。
我读过其他线程提到时间格式环境变量，但从未读过如何修改它。
在此先感谢您的帮助。
编辑：考虑到所有答案，解决方案类似于
#!/bin/bash
ts=$(date +%s%N)
command
echo "formatting $((($(date +%s%N) - $ts)/1000000)) formatting" >> file_to_append_time_to