time コマンドはGNU版のほうが便利そう

http://unicus.jp/skmk/archives/338

ふつうに time って打つとbash組み込みが起動するが、
/usr/bin/time
って打つとGNU版が起動する。

• o オプションでtimeの結果だけファイルに出力したりできる。