Random permutation of stdin lines

rand_perm_lines.py

#!/usr/bin/env python3

import sys
import numpy
import argparse
import time

if __name__ == "__main__":
    parser = argparse.ArgumentParser()
    parser.add_argument('--seed', type=int,
                        default=int(time.time()),
                        help='Seed for PRNG (default: %(default)s)')

    args = parser.parse_args()

    numpy.random.seed(args.seed)
    lines = sys.stdin.read().splitlines()
    *map(print,numpy.random.permutation(lines)),