bash - contare le righe di un file di testo
NUMRIGHE=`wc --lines nomefile | egrep -o '[0-9]*'`