Get N random lines from a file

randlines.py

#!/usr/bin/env python3

# call with two arguments, the path to the file to read lines from and
# the number of lines

from sys import argv
from random import SystemRandom

with open(argv[1]) as f:
    lines = f.readlines()

r = SystemRandom()
print( ''.join( r.sample(lines, int(argv[2])) ), end='' )