title: bash redirect stderr for time command?
body: <p>An application with stderr is being run using the time command.  I want the output of the application to be redirected to /dev/null, the stderr redirected to a log, and the timing redirected to a log.</p>
  
  <p>executing the command:</p>
  
  <pre><code>time cmd args &gt;/dev/null 2&gt;log
  </code></pre>
  
  <p>redirects the cmd, but not the time command with the timings.</p>