bash timeコマンド 実行速度 2007-05-24 | bash time コマンド ってやると、実行時間が出るんだけど、 この結果をファイルに保存するには、 time -o ${ログのファイル名} ${コマンド} ってな感じでやればよし。