random_file 530 B

12345678910111213141516171819202122232425262728
  1. #!/usr/bin/env python
  2. import sys
  3. import random
  4. def usage():
  5. print '''usage: %s output_filename no_of_integers random_seed ''' %(sys.argv[0])
  6. MAXINT=sys.maxint
  7. if __name__ == "__main__":
  8. if len(sys.argv) != 4:
  9. usage()
  10. sys.exit(1)
  11. outfile = open(sys.argv[1], 'w')
  12. num_int = int(sys.argv[2])
  13. seed = int(sys.argv[3])
  14. random.seed(seed)
  15. outfile.write("%d" %num_int)
  16. for i in xrange(num_int):
  17. outfile.write("\n")
  18. outfile.write("%d" %random.randint(0, MAXINT))
  19. outfile.close()
  20. sys.stderr.write("done.\n")