Changing the Resolution of "time" Command in Linux -


is there way change resolution (accuracy) of reported execution time "time" command in linux? reports execution time in milli seconds.

thanks

looks me 3 digits after 0 maximum resolution. if want better resolution, suggest write wrapper in c , use utime see man -s2 utime

if using bash, output format of time command (a builtin function) can set using timeformat environment variable. see man bash , search timeformat

if using gnu time utility, can set format using time --format= check man time. in both cases, don't see option higher resolution.


Comments

Popular posts from this blog

css - Which browser returns the correct result for getBoundingClientRect of an SVG element? -

gcc - Calling fftR4() in c from assembly -

Function that returns a formatted array in VBA -