Linuxでのプログラムのタイミングに関するちょっとした質問:timeコマンドは、プログラムの実行時間を測定することができます:
[ed@lbox200 ~]$ time sleep 1
real 0m1.004s
user 0m0.000s
sys 0m0.004s
うまくいきます。しかし、出力をファイルにリダイレクトしようとすると失敗します。
[ed@lbox200 ~]$ time sleep 1 > time.txt
real 0m1.004s
user 0m0.001s
sys 0m0.004s
[ed@lbox200 ~]$ cat time.txt
[ed@lbox200 ~]$
ファイルを書き込むオプション-oを使用した時間の実装が他にもあることは知っていますが、私の質問はそれらのオプションなしのコマンドについてです。
助言がありますか ?