[fakename]$ help time
time: time [-p] pipeline
Report time consumed by pipeline's execution...
From this, it seems that time
is a Bash builtin. However, I cannot find a description of it on this page: https://www.gnu.org/software/bash/manual/html_node/Shell-Builtin-Commands.html#Shell-Builtin-Commands. Why is this the case?
Best Answer
It is described in the "Shell Grammar/Pipelines" subsection of the bash manpage. It is also described in the link that you provided in the Pipelines section, where it is indexed under "Reserved Words".