Oi, eu tenho problemas para obter alguns números a partir de um html-arquivo. A coisa é que eu tenho várias html-logs que contém linhas como esta:

nerdnerd, how_old_r_u: 45782 <br> APLICAR: <hour_second> Verificação conseguiram

Trata-se de alguns dos que eu já extraídos de um arquivo HTML, mas tudo que eu realmente quero é o número no meio. Quando usar awk I get:


how_old_r_u: 45782 <br> se por:

uma vez que existe um espaço em cada extremidade, como um separador de awk.

E eu tentei usar grep "[0-9]", mas ele só tem toda a linha que contém o número de modo que recebo toda a linha novamente. Existe algum comando que pode recuperar apenas os números?