title: Is there a way to pipe output of time command into a log file?
body: <p>I want to pipe the output of <code>time</code> command rather than the output of the job it is measuring the time of. I tried </p>
  
  <pre><code> /usr/bin/time -v java RandomTest &gt; time.log
  </code></pre>
  
  <p>But that redirects <code>java RandomTest</code>'s output to time.log</p>