时间选项不起作用

时间:2015-02-23 19:11:43

标签: linux bash time

我尝试使用此命令测量执行时间并对其进行格式化:

time -f "%e" ./1 1000 1
-f: command not found

real    0m0.066s
user    0m0.044s
sys 0m0.023s

但是这样的命令有效:

/usr/bin/time -f "%e" ./1 1000 1
31245 212 443
0.00

我试图确定另一个时间的位置,但所有显示到/ usr / bin / time

which time
/usr/bin/time

whereis time
time: /usr/bin/time /usr/bin/X11/time /usr/include/time.h /usr/share/man/man7/time.7.gz /usr/share/man/man2/time.2.gz /usr/share/man/man1/time.1.gz

type -a time
time is a shell keyword
time is /usr/bin/time

如何定义另一个时间的位置?

1 个答案:

答案 0 :(得分:2)

bash shell的用户需要使用显式路径才能运行   外部时间命令而不是shell内置变量。在系统上   在/ usr / bin中安装时间的地方,第一个例子将成为

   /usr/bin/time wc /etc/hosts

OR

注意:某些shell(例如bash(1))具有内置时间命令        提供的功能少于此处描述的命令。至        访问实际命令,您可能需要指定其路径名        (比如/ usr / bin / time)。

http://man7.org/linux/man-pages/man1/time.1.html