[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 . 왜 이런 경우입니까?
man bash그런 다음 입력하십시오/time
/usr/bin/timebash의 것과 비슷 time하지만 다른 것을 잊지 마십시오 ....
답변:
bash 맨 페이지 의 "쉘 문법 / 파이프 라인"하위 섹션에 설명되어 있습니다. 또한 "예약 된 단어" 아래에서 색인이 생성되는 파이프 라인 섹션 에서 제공 한 링크에 설명되어 있습니다.
파이프 라인
파이프 라인은 제어 연산자 중 하나에 의해 분리 된 하나 이상의 명령 시퀀스입니다. 또는 | &. 파이프 라인의 형식은 다음과 같습니다.
[time [-p]] [ ! ] command [ | or |& command2 ... ]명령의 표준 출력은 파이프를 통해 command2의 표준 입력에 연결됩니다. 이 연결은 명령으로 지정된 리디렉션 전에 수행됩니다 (아래의 REDIRECTION 참조). | &를 사용하면 명령의 표준 오류가 파이프를 통해 command2의 표준 입력에 연결됩니다. 2> & 1 |의 약어입니다. 표준 오류의 암시 적 리디렉션은 명령으로 지정된 리디렉션 이후에 수행됩니다.
pipefail 옵션이 활성화되어 있지 않으면 파이프 라인의 반환 상태는 마지막 명령의 종료 상태입니다. pipefail이 사용 가능한 경우 파이프 라인의 리턴 상태는 0이 아닌 상태로 종료하는 마지막 (가장 오른쪽) 명령의 값이거나 모든 명령이 성공적으로 종료되면 0입니다. 예약어라면! 파이프 라인 앞에 있으면 해당 파이프 라인의 종료 상태는 위에서 설명한 종료 상태의 논리적 부정입니다. 쉘은 값을 리턴하기 전에 파이프 라인의 모든 명령이 종료되기를 기다립니다.
예약 된 단어가 파이프 라인보다 앞에 오는 경우 파이프 라인이 종료 될 때 경과 된 시간과 실행에 소요 된 사용자 및 시스템 시간이보고됩니다. -p 옵션은 출력 형식을 POSIX에서 지정한 형식으로 변경합니다. TIMEFORMAT 변수는 타이밍 정보가 표시되는 방법을 지정하는 형식 문자열로 설정 될 수 있습니다. 아래 셸 변수 아래의 TIMEFORMAT 설명을 참조하십시오.
파이프 라인의 각 명령은 별도의 프로세스 (즉, 서브 쉘)로 실행됩니다.
Bash Reference Manual은 콘솔을 사용하여 볼 수 있습니다 info. 그런 다음 사용자는 키를 누르고 키워드를 i입력하고 키를 눌러 색인으로 키워드를 검색 할 수 있습니다 Enter. info설명서에서 키워드와 관련된 첫 번째 위치로 이동합니다. ,다른 위치에 도달하려면 누릅니다 . 자세한 내용은 GNU Info 매뉴얼, 온라인 또는 콘솔을 사용하여 읽으십시오 info info. 실제로 매뉴얼에서 키워드를 빨리 찾는 가장 중요한 것은 기존 색인을 사용하는 것입니다.
문제에 대한 근본적인 사실은 즉 time 하지 않은 것입니다 내장 하지만 배쉬는 단어 예약 또는 키워드를 .
type time. 그래도 흥미 롭습니다. help help"내장 명령에 대한 정보 표시"를 생성 help하고 키워드에 대한 도움말 정보도 제공합니까?
type time그것이 무엇인지 보는 데 사용 하십시오.