bash - Select random lines from a file

Question

In a Bash script, I want to pick out N random lines from input file and output to another file.

How can this be done?

Answer 1

Use shuf with the -n option as shown below, to get N random lines:

shuf -n N input > output