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"을 검색하십시오.