是否可以用以下组合打印shell命令的执行时间?
root@hostname:~# "command to execute" && echo "execution time"
不要忘记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