我試圖來衡量的執行時間,並使用此命令格式化:時間選項不起作用
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