我尝试使用此命令测量执行时间并对其进行格式化:
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
如何定义另一个时间的位置?
答案 0 :(得分:2)
bash shell的用户需要使用显式路径才能运行 外部时间命令而不是shell内置变量。在系统上 在/ usr / bin中安装时间的地方,第一个例子将成为
/usr/bin/time wc /etc/hosts
OR
注意:某些shell(例如bash(1))具有内置时间命令 提供的功能少于此处描述的命令。至 访问实际命令,您可能需要指定其路径名 (比如/ usr / bin / time)。