title: Shortest way to swap two files in bash
body: <p>Can two files be swapped in bash?</p>
  
  <p>Or, can they be swapped in a shorter way than this:</p>
  
  <pre><code>cp old tmp
  cp curr old
  cp tmp curr
  rm tmp
  </code></pre>