我想使用gnu时间来衡量一些小程序的运行时间.在这个人中,它写成：
-f FORMAT,--format FORMAT Use FORMAT as the format string that controls the output of time. See the below more information.
然后在例子中我们有：
To run the command `ls -Fs' and show just the user,system,and total time: time -f "%E real,%U user,%S sys" ls -Fs
但是当我尝试从示例中发出这个命令时,我得到：
time -f '%E real,%S sys' ls -Fs -f: command not found real 0m0.134s user 0m0.084s sys 0m0.044s
解决方法
Bash为一个有一个shell内置命名时间.通过它的一种方式是键入/usr/bin/time.另一种方式是alias time = /usr/bin/time.另一方面,bash内置的环境变量TIMEFORMAT.
