☰

time 명령의 출력을 어떻게 변경할 수 있나요?

tag-icon • tag-icon bash time output
time 명령의 출력을 어떻게 변경할 수 있나요?

time 명령의 출력을 변경하는 방법:

real    0m12.304s
user    0m10.187s
sys     0m1.699s

도착하다:

12.30s

편집: bash 사용(OSX)

답변1

이것을 넣으십시오 .bashrc:export TIMEFORMAT=%Rs

그 다음에 source ~/.bashrc.

그냥 가서 type time보시면 알게 될 것입니다 time is a shell keyword. 그런 다음 man bash(bash가 쉘이므로) 실행 하고 "time"을 검색하십시오.

관련 정보