¿Cómo puedo hacer que "time" use el mismo formato cuando hay una entrada estándar presente?

Question

En OSX me gustaría que fueran iguales (preferiblemente el primer formato). ¿Cómo lo hago sin posprocesamiento?

$ 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

Utilice la -popción: "La salida tiene el formato especificado por IEEE Std 1003.2-1992 ('POSIX.2')." Esto no es perfecto (parece que hay alguna rareza con las tabulaciones/espacios), pero los tiempos en sí tendrán el mismo formato:

$ 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