Come estrarre solo valori superiori a una soglia da un file?

Ho questo file:

names average
john:15.02
Mark:09.63
James:12.58

Voglio estrarre solo le medie maggiori di 10, quindi l'output in questo esempio dovrebbe essere:

15.02
12.58

Con awk

awk -F: '{if($2>10)print$2}' <filename

spiegazioni

• -F:- imposta il Fseparatore di ield:
• {if($2>10)print$2}- per ogni riga, verifica se il 2campo nd è >10, in tal printcaso
• <filename- lascia che la shell apra il file filename, è meglio che lasciarlo awkfare, vedi la risposta di Stéphane Chazelas sull'argomento

Esempio di esecuzione

$ <filename awk -F: '{if($2>10)print$2}'
15.02
12.58

È anche possibile aggiungere spazi e mettere il motivo fuori dalle parentesi, quindi questi sono uguali - grazie a Stefan per averlo sottolineato:

awk -F: '{if($2>10)print$2}' <filename
awk -F: '{ if ( $2 > 10 ) print $2 }' <filename
awk -F: '$2>10{print$2}' <filename
awk -F: '$2 > 10 { print $2 }' <filename

Con grep dovresti lavorare con espressioni regolari; per esempio

grep -E ':[^0-9]*[1-9][0-9][0-9]*\.' file | cut -d':' -f2

come con sed:

sed -n 's/.*:[^0-9]*\([1-9][0-9][0-9]*\..*\)/\1/p' file

Ma usare RegEx sui dati ordinati è soggetto a errori (nella mia esperienza) e difficile da leggere ;-).