Привет, я неприятностей получать некоторые данные из HTML-файла. Дело в том, что у меня есть несколько HTML-журналы, которые содержат строки вроде этого:

nerdnerd, how_old_r_u: 45782 <br> APPLY: <hour_second> проверке succeded

Это примерно то, что я, извлеченные из HTML-файлов, но все, что я действительно хочу это число в середине. При использовании AWK я получаю:


how_old_r_u: 45782 <br> APPLY:

так как это пространство на каждом конце, как разделитель для AWK.

И я попытался с помощью Grep "[0-9]", но это только занимает всю строку содержащую номер, чтобы получить всю линию снова. Есть ли команда, которая может извлечь только цифры?