Existe algum comando do Linux que se possa usar para provar um subconjunto de um arquivo? Por exemplo, um arquivo contém um milhão de linhas e queremos amostrar aleatoriamente apenas mil linhas desse arquivo.
Por acaso, quero dizer que cada linha tem a mesma probabilidade de ser escolhida e nenhuma das linhas escolhidas é repetitiva.
head
e tail
pode escolher um subconjunto do arquivo, mas não aleatoriamente. Eu sei que sempre posso escrever um script python para fazer isso, mas me pergunto se existe um comando para esse uso.