bash timeコマンド 実行速度

time コマンド
ってやると、実行時間が出るんだけど、

この結果をファイルに保存するには、

time -o ＄｛ログのファイル名｝ ＄｛コマンド｝

ってな感じでやればよし。