Piccolo script bash per estrarre righe casuali

[moskitoita]

Ho un file txt con 300000 parole (una wordlist) una su ogni riga, mi sapete dare una mano per creare uno script bash che ne estragga un tot numero ...
Grazie

[Mutato]

Si usa come:

./estrai [FILE] [NUMERO PAROLE]

#!/bin/bash

FILE=$1
WORDS=$2

[ -z "$FILE" ] && {
      echo '**E il file?'
      exit 1
}

[ -z "$WORDS" ] && {
      WORDS=1
}

LINE=$(wc -l ${FILE} | awk '{print $1}')

for i in $(seq 1 ${WORDS}); do
      NLINE=0
      while [ "$NLINE" == "0" ] ; do
            NLINE=$((RANDOM%LINE))
      done
      sed -n "${NLINE},${NLINE}p" $FILE
done

Ogni volta che lo lanci estrai dal file (primo parametro) il numero di parole (righe) che vuoi (secondo parametro). es

./estrai /usr/dict/words 65

E` abbastanza efficiente, anche se si potrebbero accorpare i vari sed.. ciao.

[moskitoita]

grazie