时间选项不起作用

Question

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

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

如何定义另一个时间所在的位置？

Answer 1

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

   /usr/bin/time wc /etc/hosts

或

注意：一些 shells（例如，bash(1)）有一个内置的时间命令提供的功能少于此处描述的命令。到访问真正的命令，你可能需要指定它的路径名（类似于 /usr/bin/时间）。

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

时间选项不起作用

time option doesn't work

linux

bash

time