☰

当存在标准输入时，如何使“时间”使用相同的格式？

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

相关内容