Como extrair apenas valores maiores que um limite de um arquivo?

Eu tenho este arquivo:

names average
john:15.02
Mark:09.63
James:12.58

Eu quero extrair apenas as médias maiores que 10, portanto a saída neste exemplo deve ser:

15.02
12.58

Com awk

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

Explicações

• -F:- define o Fseparador de campo para:
• {if($2>10)print$2}- para cada linha, teste se o 2campo nd é >10, se sim print,
• <filename- deixe o shell abrir o arquivo filename, é melhor do que deixar awkfazer isso, veja a resposta de Stéphane Chazelas sobre o tópico

Exemplo de execução

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

Também é possível adicionar espaços e colocar o padrão fora dos colchetes, para que sejam iguais - obrigado a Stefan por apontar isso:

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

Com o grep, você teria que trabalhar com expressões regulares; por exemplo

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

como com sed:

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

Mas o uso do RegEx em dados ordenados é propenso a erros (na minha experiência) e difícil de ler ;-).