Ho proposto vari linguaggi, dato che non ho una preferenza...
Pensavo che in bash o in perl si possano manipolare meglio i file...
Ma l' importante è il risultato e non il mezzo col quale lo ottengo.

Comunque in bash l' idea è quella di generare un numero casuale con $RANDOM e poi magari numerare le righe del file da cui estrarre le righe e prendere solo la riga numero $RANDOM...
In più dovrei controllare che la riga estratta non sia già stata estratta in precedenza...
Qualche aiuto?