[解決済み] time "コマンドの出力をリダイレクトするには？

質問

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

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

このファイルの中で、私は ls コマンドの出力ではなく time . なぜできないのか、どうすればできるのか、教えてください。

どのように解決するのですか？

を使えば、時刻の出力をリダイレクトすることができます。

(time ls) &> file

なぜなら、(time ls)を一つのコマンドとして捉える必要があるので、中括弧を使うことができるのです。