awk удаляет строки с цифрами в конце

Я хочу удалить строки с цифрами в конце строки,

пример ввода:

example123 example example12 example43 

ожидаемый результат:

 example 

Очень просто сделать:

 awk '/[^0-9]$/ { print }' inputfile 

Или, если вы хотите сохранить пустые строки,

 awk '! /[0-9]$/ { print }' inputfile 

Или, если вы также заинтересованы в grep , может помочь и следующий простой grep .

 grep -v '[0-9]$' Input_file 
 sed -e '/[0-9]$/d' input-file.txt