linux - 更改 Linux 中“time”命令的分辨率

Question

有什么方法可以通过 Linux 中的“时间”命令更改报告执行时间的分辨率（准确度）？它已经以毫秒为单位报告了执行时间。

谢谢

Answer 1

在我看来，零后的 3 位数字是最大分辨率。如果您想要更好的分辨率，我建议您用 C 编写一个包装器并使用utime Seeman -s2 utime

如果您使用 bash，则可以使用TIMEFORMAT环境变量设置 time 命令（内置函数）的输出格式。查看man bash和搜索TIMEFORMAT

如果您使用的是 gnu time 实用程序，则可以使用time --format=check设置格式man time。在这两种情况下，我都没有看到更高分辨率的选项。