时间选项不起作用

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

或者

注意：某些 shell（例如 bash(1)）具有内置的 time 命令，该命令提供的功能比此处描述的命令要少。要访问真正的命令，您可能需要指定其路径名（例如 /usr/bin/time）。

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