[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 . Почему это так?
type time
чтобы увидеть, что это такое.man bash
а затем просто введите/time
/usr/bin/time
что похоже на bash,time
но отличается ...Ответы:
Это описано в подразделе «Грамматика оболочки» / «Конвейеры» на странице руководства bash . Он также описан в ссылке, которую вы указали в разделе « Конвейеры », где он проиндексирован в разделе «Зарезервированные слова» .
источник
Справочное руководство Bash можно просмотреть на консоли с помощью
info
. Затем пользователь может искать ключевое слово в индексах, нажимая клавишуi
, вводя ключевое слово и нажимая клавишуEnter
.info
переместится на первое место в руководстве, связанное с ключевым словом. Нажмите,,
чтобы добраться до других мест. Для получения дополнительной информации, прочитайте руководство GNU Info, онлайн или на консоли, используяinfo info
. Действительно, наиболее важная вещь для быстрого поиска ключевого слова в руководстве - это использование существующего индекса.Существенным фактом в этой проблеме является то, что
time
это не встроенное, а зарезервированное Bash слово или ключевое слово .# Смотрите также
источник
type time
. Видите, это интересно, хотя.help help
выдает «Показать информацию о встроенных командах», аhelp
также имеет справочную информацию для ключевых слов?