time コマンドの出力を Linux のファイルにリダイレクトする方法は?

試す

{ time sleep 1 ; } 2> time.txt

"time" の STDERR とコマンドを time.txt に結合します

または使用

{ time sleep 1 2> sleep.stderr ; } 2> time.txt

これは、"sleep" からの STDERR をファイル "sleep.stderr" に入れ、"time" からの STDERR のみを "time.txt" に入れます

単純。 GNU time ユーティリティにはそのためのオプションがあります。

ただし、そうでないことを確認する必要があります シェルの組み込み time を使用する コマンド、少なくとも bash builtin はそのオプションを提供しません!そのため、time のフル パスを指定する必要があります。 ユーティリティ:

/usr/bin/time -o time.txt sleep 1