Come rimuovere tutti i caratteri non numerici da una stringa in BASH?

Question

Esempio:

file="123 hello" 

come posso modificare il file di stringa in modo tale che esso contiene solo i numeri e la parte di testo viene rimosso?

Quindi,

echo $file 

dovrebbe stampare solo 123.

Answer 1

Questo è un modo con sed:

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

O con puro bash:

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

Per salvare il risultato nella variabile in sé, non

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

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

Answer 2

Si può dire :

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

Tuttavia, questo si imbatte in problemi in certi casi:

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

Utilizzando tr:

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