GNU Bash 매뉴얼에 "시간"이 없는 이유는 무엇입니까?

GNU Bash 매뉴얼에 "시간"이 없는 이유는 무엇입니까?
[fakename]$ help time
time: time [-p] pipeline
    Report time consumed by pipeline's execution...

이런 관점에서 보면 timeBash에 내장되어 있는 것 같습니다. 그러나 이 페이지에서는 해당 설명을 찾을 수 없습니다.https://www.gnu.org/software/bash/manual/html_node/Shell-Builtin-Commands.html#Shell-Builtin-Commands. 왜 그럴까요?

답변1

이는 "쉘 구문/파이프라인" 하위 섹션에 설명되어 있습니다.배쉬 맨페이지. 이는 제공한 링크에도 설명되어 있습니다.관로다음과 같이 색인이 생성된 섹션"예약어".

관로

파이프는 제어 연산자 |로 구분된 하나 이상의 명령 시퀀스입니다. 또는 |&. 파이프의 형식은 다음과 같습니다.

[time [-p]] [ ! ] command [ | or |& command2 ... ] 

명령의 표준 출력은 명령2의 표준 입력으로 파이프됩니다. 이 연결은 명령으로 지정된 리디렉션 전에 수행됩니다(아래 리디렉션 참조). |&를 사용하면 명령의 표준 오류가 command2의 표준 입력으로 파이프됩니다. 이는 2>&1 |의 약어입니다. 표준 오류의 암시적 리디렉션은 명령에 지정된 리디렉션 후에 수행됩니다.

파이프라인 실패 옵션이 활성화되지 않은 경우 파이프라인의 반환 상태는 마지막 명령의 종료 상태입니다. 파이프라인 실패가 활성화된 경우 파이프라인의 반환 상태는 0이 아닌 상태로 종료된 마지막(가장 오른쪽) 명령의 값이거나 모든 명령이 성공적으로 종료된 경우 0입니다. 예약어라면! 파이프 이전에 파이프의 종료 상태는 위의 종료 상태에 대한 논리적 부정입니다. 셸은 값을 반환하기 전에 파이프라인의 모든 명령이 종료될 때까지 기다립니다.

시간 예약어가 파이프라인 앞에 오는 경우 파이프라인이 종료되면 실행 경과 시간이 사용자 및 시스템 시간과 함께 보고됩니다. -p 옵션은 출력 형식을 POSIX에서 지정한 형식으로 변경합니다. TIMEFORMAT 변수는 타이밍 정보가 표시되는 방식을 지정하는 형식 문자열로 설정할 수 있습니다. 아래 쉘 변수 아래의 TIMEFORMAT에 대한 설명을 참조하세요.

파이프라인의 각 명령은 별도의 프로세스(즉, 하위 셸에서)로 실행됩니다.

답변2

Bash 참조 매뉴얼을 사용하여 콘솔에서 볼 수 있습니다 info. 그러면 사용자는 키를 누르고 키워드를 i입력한 후 키를 눌러 색인에서 키워드를 검색할 수 있습니다 Enter. info키워드와 관련된 매뉴얼의 첫 번째 위치로 이동합니다. ,다른 위치로 이동하려면 누르세요 . 자세한 내용은 온라인에서 GNU Info 매뉴얼을 읽거나 콘솔에서 사용하십시오 info info. 실제로 매뉴얼에서 키워드를 빠르게 찾는 데 가장 중요한 것은 기존 색인을 사용하는 것입니다.

이 문제에 대한 기본 사실은 다음과 같습니다.time 하나도 아니야내장하지만 큰 타격예약어또는핵심 단어.

#당신도볼수있습니다

관련 정보