문서에 의하면 shell built in 으로 time을 지원하는 것은 csh뿐인듯 한데.....
man time 해서 알아낸 것 과 같이 -o filename, or --output=filename을 하면 된다고 합니다.
그런데 레드햇9에서 확인한 결과 bash shell임에도 불구하고
time -o filename ls -al 하면 -o 콤맨드가 없다고 불평합니다.
그런데.........
/usr/bin/time -o filename ls -al 하면 결과가 파일에 잘 출력 됩니다.
그리고 time 의 출력형식도 달라지고요. 아마 다른 쉘에도 time 이 built in 되어있나 봅니다.
.
재미있군요.
문서에 의하면 shell built in 으로 time을 지원하는 것은 csh뿐인듯 한데.....
man time 해서 알아낸 것 과 같이 -o filename, or --output=filename을 하면 된다고 합니다.
그런데 레드햇9에서 확인한 결과 bash shell임에도 불구하고
time -o filename ls -al 하면 -o 콤맨드가 없다고 불평합니다.
그런데.........
/usr/bin/time -o filename ls -al 하면 결과가 파일에 잘 출력 됩니다.
그리고 time 의 출력형식도 달라지고요. 아마 다른 쉘에도 time 이 built in 되어있나 봅니다.
아, 감사합니다. 저도
아, 감사합니다.
저도 -o 옵션을 봐서 사용해 보긴 했지만. 말도 안되는 에러 메세지;;;
GNU 옵션은 뭐 다르게 해야하나하고 말도 안되는 고민도 했습니다.
댓글 달기