俺的備忘録 〜なんかいろいろ〜

bashの組み込みtimeコマンドの結果を含めた状態で、リダイレクトして別のファイルに出力したりパイプで別のコマンドに渡す場合、以下のように()で囲ってグループとして扱うことで対応できる。

bashのtimeコマンドの出力をファイルなりに出力させたいということがあったので、備忘として残しておく。 timeコマンドの出力をパイプやリダイレクトで使う場合は、いかのようにグループ化してやればいい。

{ time Command; } 2>&1
( time Command; ) 2>&1