title: Save the output of the time command to a log file
body: <p>I have a script hex.bat that has:</p>
  
  <pre><code>#!/bin/bash
  HEX_ROOT=.
  HEX_COLOURS=./data
  HEX_PDB=.
  HEX_MACROS=.
  HEX_CACHE=./data
  
  time ./hex6i.x64 -kill -nogui -ncpu 1 -ngpu 1 -e dock.mac -l job.log
  </code></pre>
  
  <p>All the output goes to <code>job.log</code>, except the time. I want to save in <code>jog.log</code> the time duration to execute this script. Does anyone have any clue?</p>
  
  <p>Thanks in advance.</p>