[fakename]$ help time
time: time [-p] pipeline
Report time consumed by pipeline's execution...
Z tego wynika, że time
jest to wbudowane Bash. Jednak nie mogę znaleźć opisu tego na tej stronie: https://www.gnu.org/software/bash/manual/html_node/Shell-Builtin-Commands.html#Shell-Builtin-Commands . Dlaczego tak jest?
type time
aby zobaczyć, co to jest.man bash
a następnie po prostu wpisz/time
/usr/bin/time
który jest podobny do bash,time
ale inny ....Odpowiedzi:
Jest to opisane w podrozdziale „Gramatyka powłoki / rurociągi” strony podręcznika bash . Jest to również opisane w linku, który podałeś w sekcji Rurociągi , gdzie jest zindeksowany w sekcji „Słowa zastrzeżone” .
źródło
Bash Reference Manual można przeglądać na konsoli za pomocą
info
. Następnie użytkownik może wyszukać słowo kluczowe w indeksach, naciskając klawiszi
, wpisując słowo kluczowe i naciskając klawiszEnter
.info
przejdzie do pierwszej lokalizacji w instrukcji związanej ze słowem kluczowym. Naciśnij,,
aby przejść do innych lokalizacji. Aby uzyskać więcej informacji, przeczytaj instrukcję GNU Info, online lub na konsoli za pomocąinfo info
. Rzeczywiście najważniejszą rzeczą, aby szybko znaleźć słowo kluczowe w instrukcji, jest użycie istniejącego indeksu.Istotnym faktem związanym z tym problemem jest to, że
time
nie jest to wbudowane, ale zastrzeżone słowo lub słowo kluczowe Bash .# Zobacz też
źródło
type time
. Widzisz, to jest interesujące.help help
daje „Wyświetlać informacje o wbudowanych poleceniach”, a mimohelp
to zawiera także informacje pomocy dla słów kluczowych?