「time」コマンドの出力をリダイレクトするにはどうすればよいですか？

timeコマンドの出力をリダイレクトしようとしましたが、できませんでした。

$time ls > filename
real    0m0.000s
user    0m0.000s
sys     0m0.000s

ファイルでは、lsコマンドの出力ではなく、コマンドの出力を確認できますtime。できなかった理由とその方法を説明してください。

あなたはを使用して時間出力をリダイレクトすることができます、

(time ls) &> file

中括弧を使用できるように、（時間ls）を単一のコマンドとして受け取る必要があるためです。

サブシェルを起動する必要はありません。コードブロックを使用することもできます。

{ time ls; } 2> out.txt

または

{ time ls > /dev/null 2>&1 ; } 2> out.txt

コマンドtimeは、その出力を（STDOUTではなく）STDERRに送信します。これは、時間を指定して通常実行されるコマンド（この場合はls）がSTDOUTに出力されるためです。

時間の出力をキャプチャする場合は、次のように入力します。

(time ls) 2> filename

これは時間の出力のみをキャプチャしますが、lsの出力は通常のコンソールに送られます。両方を1つのファイルにキャプチャする場合は、次のように入力します。

(time ls) &> filename

2>はSTDERRをリダイレクトし、＆>は両方をリダイレクトします。

時間はシェル組み込みであり、それをリダイレクトする方法があるかどうかはわかりません。ただし/usr/bin/time、代わりに使用できます 。これにより、出力リダイレクトを確実に受け入れます。

からの出力timeとコマンドを混在させたくない場合。GNU timeでは、次の-o fileように使用できます。

/usr/bin/time -o tim grep -e k /tmp 1>out 2>err

一方では、tim時間の出力であり、outそしてerrからのstdoutとstderrですgrep。

リダイレクトが機能しないように見える理由timeは、パイプラインの前で使用される場合、それは（組み込みではなく）bash予約語であるためです。bash（1）：

時間予約語がパイプラインの前にある場合、パイプラインの終了時に、その実行によって消費された経過時間とユーザー時間およびシステム時間が報告されます。

したがって、の出力をリダイレクトするにはtime、中括弧を使用します。

{ time ls; } 2> filename

または電話する/usr/bin/time：

/usr/bin/time ls 2> filename

テストでは、中括弧を付けたstdoutおよびstderrメソッドのリダイレクトを使用します。
はこれを&>>rpt表しています>>rpt 2>&1が、短くなっています。
中括弧は、現在のシェルでコマンドを実行します。参照：man bash

{ time ls a*; } &>>rpt