すんませんほんとくだらないかもしれませんが、
bashでtimeコマンドの出力を何とかファイルにリダイレクトさせたいのですが、
どうしたらいいでしょう…