On OSX I'd like these to be the same (preferably the first format). How do I do it without post-processing?$ time echo foofooreal    0m0.000suser    0m0.000ssys 0m0.000s$ echo | time echo foofoo        0.00 real         0.00 user         0.00 sys
How can I make `time` use the same format when there is stdin present?
time