in reply to grabbing random n rows from a file

See the thread improving the efficiency of a script on taking random samples.