當存在標準輸入時，如何使“時間”使用相同的格式？

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