Shuffle the lines of a file

shuffle.py

#!/usr/bin/env python

import sys
import random

if __name__ == '__main__':
    contents = sys.stdin.readlines()
    random.shuffle(contents)
    sys.stdout.write(''.join(contents))