Instruction pages: How to fetch random sequence subset from a larger sequence file Man pages: grep awk