Selecione linhas aleatórias de um arquivo no bash [duplicado]
Esta pergunta já tem uma resposta aqui:
Qual é uma maneira fácil de ler linhas aleatórias de um arquivo na linha de comando do Uni 3 respostaso script bash, quero selecionar N linhas aleatórias do arquivo de entrada e saída para outro arquivo. Como isso pode ser feito