Как удалить все нечисловые символы из строки в BASH?

Question

Пример:

file="123 hello" 

Как я могу редактировать файл строку таким образом, что она содержит только цифры и текстовую часть удаляется?

Так,

echo $file 

должен печатать только 123.

Answer 1

Это один из способов с sed:

$ echo $file | sed 's/[^0-9]*//g' 
123 
$ echo "123 he23llo" | sed 's/[^0-9]*//g' 
12323 

Или с чистым bash:

$ echo "${file//[!0-9]/}" 
123 
$ file="123 hello 12345 aaa" 
$ echo "${file//[!0-9]/}"  
12312345 

Чтобы сохранить результат в самой переменной, не

$ file=$(echo $file | sed 's/[^0-9]*//g') 
$ echo $file 
123 

$ file=${file//[!0-9]/} 
$ echo $file 
123 

Answer 2

Вы можете сказать, :

echo ${file%%[^0-9]*} 

Однако, это сталкивается с проблемами в некоторых случаях:

$ file="123 file 456" 
$ echo ${file%%[^0-9]*} 
123 

Использование tr:

$ file="123 hello 456" 
$ new=$(tr -dc '0-9' <<< $file) 
$ echo $new 
123456