linux - 时间选项不起作用

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 内置变体。在系统上 其中 time 安装在/usr/bin 中，第一个示例将变为

   /usr/bin/time wc /etc/hosts

或

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

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