☰

標準入力があるときに「時間」に同じ形式を使用させるにはどうすればよいですか？

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

関連情報