Script para randomizar as linhas de um arquivo

[Marcos Notari Junior]

Pessoal,

Estou com um problema e ainda não consegui resolver.

Tenho um arquivo com 1.560.000 linhas.

preciso randomizar as linhas deste arquivo.

fiz o seguinte:

for i in `cat ARQUIVO.txt`;do echo $RANDOM $i;done > SAIDA.txt
cat SAIDA.txt |sort |awk '{print$2}' > RANDOMIZADO.txt

O problema é que o $RANDOM está repetindo muito os números.

Alguem sabe alguma solução que eu possa utilizar para randomizar as linhas
deste arquivo ?

Agradeço a quem puder me auxiliar.

Att.

Marcos


[As partes desta mensagem que não continham texto foram removidas]