[fakename]$ help time
time: time [-p] pipeline
Report time consumed by pipeline's execution...
由此看来,这time
是一个内置的 Bash。但是,我在此页面上找不到它的描述:https ://www.gnu.org/software/bash/manual/html_node/Shell-Builtin-Commands.html#Shell-Builtin-Commands 。为什么会这样?
它在bash 手册页的“Shell Grammar/Pipelines”小节中有描述。您在Pipelines部分提供的链接中也对其进行了描述,该链接在"Reserved Words"下进行了索引。
Bash 参考手册可以在控制台上使用
info
. 然后,用户可以按 键在索引中搜索关键字i
,键入关键字并按 键Enter
。info
将跳转到手册中与关键字关联的第一个位置。按下,
可到达其他位置。有关更多信息,请在线阅读 GNU 信息手册,或在控制台上使用info info
. 事实上,在手册中快速找到关键字最重要的是使用现有索引。关于这个问题的基本事实是,
time
它不是内置的,而是 Bash保留字或关键字。# 也可以看看