Você pode criar um arquivo de script sed
simples para imprimir linhas em índices específicos, por exemplo,
printf '%dp\n' $(shuf -i 1-3494 -n 100) > indexfile
use como
sed -nf indexfile File1
sed -nf indexfile File2
.
.
e assim por diante. Se você tem o GNU sed
com o -s, --separate
você pode selecionar as mesmas linhas de múltiplos arquivos seqüencialmente usando
sed -snf indexfile File1 File2 File3
(substitua File1 File2 File3
por um globo de concha, se desejar).
Se você quer um one-liner que seleciona um subconjunto aleatório diferente a cada invocação, então você poderia fazer algo como
printf '%dp\n' $(shuf -i 1-3494 -n 100) | sed -snf - File1 File2 File3