shuffle.py

Randomizes the lines of a file and writes the first n 
entries. Use to pick a random subset of items from a list.

-out           name of outfile (stdout is default)
-n             number of lines to pick; default is all
-h             Prints documentation.
-v             { [1] } verbosity
-version       print version info and exit

$Id: shuffle.py,v 1.1 2004/10/10 02:53:10 nghoffma Exp $