CHOOSELINES(1) - manual page | User commands

Randomly choose k lines from a file of n lines, for 0 < k < n.