[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。为什么会这样呢?
man bash
然后只需键入/time
/usr/bin/time
哪一个与bash的相似time
但又不同
type time
看它是什么。