不要忘记bash的内置时间(当你执行时间命令时,默认情况下应该调用它)和/ usr / bin / time(这应该要求你通过它的完整路径调用它)。
内置时间总是打印到stderr,但/ usr / bin / time将允许你将时间的输出发送到一个特定的文件,所以你不干扰执行的命令的stderr流。此外,/ usr / bin / time的格式可以在命令行或环境变量TIME配置,而bash的内置时间格式只能由TIMEFORMAT环境变量配置。
$ time factor 1234567889234567891 # builtin
1234567889234567891: 142662263 8653780357
real 0m3.194s
user 0m1.596s
sys 0m0.004s
$ /usr/bin/time factor 1234567889234567891
1234567889234567891: 142662263 8653780357
1.54user 0.00system 0:02.69elapsed 57%cpu (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (0major+215minor)pagefaults 0swaps
$ /usr/bin/time -o timed factor 1234567889234567891 # log to file `timed`
1234567889234567891: 142662263 8653780357
$ cat timed
1.56user 0.02system 0:02.49elapsed 63%cpu (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (0major+217minor)pagefaults 0swaps