>>694
すみません、では、質問を変えます。

time コマンドって、シェルや OS によって出力形式がまちまちだと思うんですが、
このへんの差違をまとめてあるドキュメントがあれば教えてください。