title: How to add time at which commands were executed to terminal on Mac? (change format)
body: <p>The default format for my terminal line looks like this:</p>
  
  <pre><code>David-Mac-mini:~ david$
  </code></pre>
  
  <p>I'd love if there was a way for it to show by default as:</p>
  
  <pre><code>David-Mac-mini:~ david$ [Hh:Mm:Ss]
  </code></pre>