Di 'che hai un file notifications.txt
. Dobbiamo contare il numero totale di linee, per determinare l'intervallo del generatore casuale:
$ cat notifications.txt | wc -l
Consente di scrivere nella variabile:
$ LINES=$(cat notifications.txt | wc -l)
Ora per generare il numero da 0
a $LINE
useremo la RANDOM
variabile.
$ echo $[ $RANDOM % LINES]
Scriviamolo nella variabile:
$ R_LINE=$(($RANDOM % LINES))
Ora dobbiamo solo stampare questo numero di riga:
$ sed -n "${R_LINE}p" notifications.txt
Informazioni su RANDOM:
RANDOM Each time this parameter is referenced, a random integer between
0 and 32767 is generated. The sequence of random numbers may be
initialized by assigning a value to RANDOM. If RANDOM is unset,
it loses its special properties, even if it is subsequently
reset.
Assicurati che il tuo file contenga meno di 32767 numeri di riga. Vedi questo se hai bisogno di un generatore casuale più grande che funzioni immediatamente.
Esempio:
$ od -A n -t d -N 3 /dev/urandom | tr -d ' '