Seleziona righe casuali da un file in bash

nello script bash voglio selezionare N righe casuali dal file di input e l’output in un altro file. Come si può fare?

Usa shuf con l’opzione -n come mostrato sotto, per ottenere N linee casuali:

 shuf -n N input > output 

Ordina il file a caso e scegli le prime 100 righe:

 $ sort -R input | head -n 100 >output