stdin이 있을 때 `time`이 동일한 형식을 사용하도록 하려면 어떻게 해야 합니까?

Question

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

Answer 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