In python:

codice:
import random

lines = []
fin = open('file.in', 'r')
fout = open('file.out', 'w')

for line in fin.readlines():
    lines.append(line.strip())
    
while lines:
    line_no = random.randint(0, len(lines))
    fout.write (lines.pop(line_no - 1) + '\n')