Loading utilities/random_lines.py +1 −0 Original line number Diff line number Diff line Loading @@ -34,6 +34,7 @@ with open(filename) as f: random.seed("12345678") linestoprint = random.sample(range(len(lines)), number) linestoprint.sort() for ln in linestoprint: print(lines[ln], end='') Loading
utilities/random_lines.py +1 −0 Original line number Diff line number Diff line Loading @@ -34,6 +34,7 @@ with open(filename) as f: random.seed("12345678") linestoprint = random.sample(range(len(lines)), number) linestoprint.sort() for ln in linestoprint: print(lines[ln], end='')
