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

Question

Is there any way to change the resolution (accuracy) of the reported execution time by "time" command in Linux? It already reports the execution time in milli seconds.

Thanks

Answer 1

Looks to me like 3 digits after the zero is the maximum resolution. If you want better resolution, I would suggest you write a wrapper in C and use utime See man -s2 utime

If you are using bash, then the output format of the time command (a builtin function) can be set using the TIMEFORMAT environment variable. See man bash and search for TIMEFORMAT

If you are using the gnu time utility, you can set the format using time --format= check man time . In both cases, I don't see an option for higher resolution.