Вы можете сделать это с помощью grep или sed.
С помощью sed
:
sed -e '/^[[:space:]]*[[:digit:].]\+[[:space:]]*$/d' input >output
В grep используйте опцию -E
для регулярных выражений и -v
для исключения совпадений:
grep -v -E '^[[:space:]]*[[:digit:].]+[[:space:]]*$' input >output
Причина шаблона в том, чтобы игнорировать строки, которые не имеют числового значения, и обрабатывать случаи с ведущими или завершающими пробелами. Если ничего из этого не интересует, "работает" более простое решение.