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
Post a Comment