Randline: Get a random selection of lines in a file using reservoir samplingalexwlchan.net1 pointingvea year ago