我试图来衡量的执行时间,并使用此命令格式化:时间选项不起作用
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
我试图确定在另一个时间位于,但所有showes到/ 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
如何界定地方换个时间地点?
'时间是一个shell关键字'在这里是关键。这是一个内置的外壳。 – 2015-02-23 19:16:16
@EtanReisner'time'是关键字,不是内建的! – 2015-02-23 19:21:53
@gniourf_gniourf确实。尽管我可能应该这样做,但我并不过分小心。 – 2015-02-23 19:22:47