我想知道/ usr / bin / time是否支持更多精度数字而不是2?即我跑的时候:
/usr/bin/time -f %U ls
它给了我:0.00
,有没有办法增加数字?
其次,虽然时间是指我系统中的/ usr / bin / time,但是它们的输出不同,为什么呢?即。
/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
BUT
$time ls
real 0m0.023s
user 0m0.008s
sys 0m0.008s
我有:
$which time
/usr/bin/time
答案 0 :(得分:1)
遗憾的是没有机会提高精确度。对不起,简短的回答,但我会对第二个问题说几句话。
虽然您在time
安装了/usr/bin/time
程序(which
显示此内容),但还有一个内置同名的bash。除非您指定二进制文件的完整路径,否则bash
将使用内置结构来支持二进制文件。