time時間を測定しているジョブの出力ではなく、コマンドの出力をパイプ処理したいと思います。私は試した
/usr/bin/time -v java RandomTest > time.log
しかし、それはjava RandomTestの出力をtime.logにリダイレクトします
time時間を測定しているジョブの出力ではなく、コマンドの出力をパイプ処理したいと思います。私は試した
/usr/bin/time -v java RandomTest > time.log
しかし、それはjava RandomTestの出力をtime.logにリダイレクトします
これは少し注意が必要ですが、次のように実行できます。
{ time java RandomTest ; } 2> time.log
このようにして、時間の結果は、にtime.log、そしてあなたのにとどまるstdoutから入ります。java RandomTesttty
最初に試してみてください:
{ time ls ; } 2> tmp.txt
cat tmp.txt
少なくとも最近のLinuxディストリビューションでは、timeコマンドは次の-o FILEオプションをサポートしています。
/usr/bin/time -v -o time.log java RandomTest
stderrをリダイレクトすることもでき>&ますbash。zsh
(これは、 stderrをstdoutにリダイレクトするため>&と同じです)2>&1