我想知道/usr/bin/time 是否支持比 2 更多的精度数字?即当我运行时:
/usr/bin/time -f %U ls
它给了我:
0.00
,有什么办法可以增加数字吗?其次,虽然时间在我的系统中是指/usr/bin/time,但是它们的输出是不同的,这是为什么呢? IE。
/usr/bin/time -f %U ls
0.00user 0.00system 0:00.03elapsed 23%CPU (0avgtext+0avgdata 3104maxresident)k
0inputs+0outputs (0major+259minor)pagefaults 0swaps
但
$time ls
real 0m0.023s
user 0m0.008s
sys 0m0.008s
虽然我有:
$which time
/usr/bin/time
最佳答案
不幸的是,没有机会提高精度。很抱歉简短的回答,但我会对第二个问题说几句话。
当你有程序 time
安装在 /usr/bin/time
(which
显示了这一点),还有一个同名的 bash 内置函数。 bash
除非您指定二进制文件的完整路径,否则将使用内置函数来支持二进制文件。
关于ubuntu - 在 ubuntu 中更改 "/usr/bin/time"分析器的精度数字,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/21911211/