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

Question

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

由于

Answer 1

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

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

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