Randomly mix the order of lines in a file
<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>
