man time이를 표시하는 몇 가지 옵션이 있습니다. 예를 들어 대신 출력을 time파일 에 쓰는 등의 옵션이 있습니다 stderr.
-o FILE, --output=FILE
그래서 이걸 사용해 봤는데
$ time -o out.txt ls
-o: command not found
real 0m0.081s
user 0m0.070s
sys 0m0.012s
이건 작동하지 않습니다! 그것은 말한다 -o: command not found.
out.txt존재하지 않는다는 것을 증명하세요 :
$ cat out.txt
cat: out.txt: No such file or directory
내가 뭘 잘못했나요?
-o somefile.txtwith 와 같은 옵션을 어떻게 사용할 수 있나요 time?
저는 Linux Ubuntu 18.04를 bash터미널로 사용합니다.
답변1
bash 쉘은 명령의 첫 번째 단어 "time"을 예약어로 평가 time하고 명령의 두 번째 단어, 즉 를 기다리고 있으므로 -o인쇄 중입니다: -o: command not found.
존재하다배쉬 매뉴얼이유가 time예약어임을 알 수 있습니다.
시간을 예약어로 사용하면 쉘 내장, 쉘 기능 및 파이프의 타이밍을 지정할 수 있습니다. 외부 시간 명령으로는 쉽게 시간을 측정할 수 없습니다.
이 명령을 사용하고 유용한 매개변수를 사용하려면 timebash 쉘에 다음과 같이 지시해야 합니다. 다음 유틸리티를 사용하는 것이 가장 좋습니다 command.
command time -o out.txt ls
또는 전체 경로를 사용할 수 있습니다.
/usr/bin/time -o out.txt ls
아니면 인용해 보세요:
"time" -o out.txt ls
또는 백슬래시로 이스케이프 처리합니다.
\time -o out.txt ls