title: Randomly mix the order of lines in a file
body: <p>Suppose I have a file containing some lines:</p>
  
  <pre><code>line 1 ...
  line 2 ...
  ...
  line n ...
  </code></pre>
  
  <p>Is it possible to have another file where the order of the lines will be randomly mixed ?</p>