这可能是一个新手的问题,但是我不明白这是如何配置的以及为什么time
在这两种情况下命令的输出格式不同:
如果通过使用time
,则输出为三行,包含基本信息
$ time sleep 1
real 0m1.003s
user 0m0.000s
sys 0m0.000s
然后我可以检查出使用了哪个二进制文件
$ which time
/usr/bin/time
并直接调用它以获取完全不同的格式的输出,以及更多信息
$ /usr/bin/time sleep 1
0.00user 0.00system 0:01.00elapsed 0%CPU (0avgtext+0avgdata 2000maxresident)k
0inputs+0outputs (0major+77minor)pagefaults 0swaps
没有相关的别名 time
$ alias | grep time
$
我在跑步Ubuntu 16.04
。
which
基本上没用的原因...