http://unicus.jp/skmk/archives/338ふつうに time って打つとbash組み込みが起動するが、 /usr/bin/time って打つとGNU版が起動する。 o オプションでtimeの結果だけファイルに出力したりできる。