Wie alle nicht numerischen Zeichen aus einer Zeichenfolge in BASH entfernt werden?

Question

Beispiel:

file="123 hello" 

Wie ich die String-Datei bearbeiten können, so dass sie nur die Zahlen und den Textteil enthält, wird entfernt?

So

echo $file 

sollte 123 nur drucken.

Answer 1

Dies ist ein Weg mit sed:

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

Oder mit reinem bash:

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

Um das Ergebnis in die Variable zu speichern selbst, nicht

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

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

Answer 2

Man kann sagen, :

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

jedoch läuft diese Probleme in bestimmten Fällen:

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

Mit tr:

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