☰

표준 입력이 있을 때 "시간"이 동일한 형식을 사용하도록 하려면 어떻게 해야 합니까?

tag-icon • tag-icon time
표준 입력이 있을 때 "시간"이 동일한 형식을 사용하도록 하려면 어떻게 해야 합니까?

OSX에서는 이러한 형식이 동일하기를 원합니다(첫 번째 형식이 바람직함). 후처리 없이 이 작업을 수행하는 방법은 무엇입니까?

$ time echo foo
foo

real    0m0.000s
user    0m0.000s
sys 0m0.000s
$ echo | time echo foo
foo
        0.00 real         0.00 user         0.00 sys

답변1

옵션을 사용하십시오 -p: "출력은 IEEE Std 1003.2-1992('POSIX.2')에 지정된 대로 형식화됩니다. 이것은 완벽하지는 않지만(탭/공간 이상한 부분이 있는 것 같습니다) 시간 자체의 형식입니다. 동일할 것입니다:

$ time -p echo foo
foo
real 0.00
user 0.00
sys 0.00

$ echo | time -p echo foo
foo
real         0.00
user         0.00
sys          0.00

관련 정보