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 RandomTest
tty
最初に試してみてください:
{ 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