[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 ....