如何从字母数字文件名中提取数值

Question

如何使用shell脚本从字母数字文件名中提取数值。

EG。 ABC1234A

在这里，我需要提取数字1234，以便将其与值进行比较。

Answer 1

$ file=ABC1234A
$ file=$(echo "$file" | grep -o '[0-9]\+')
$ echo "$file"
1234

Answer 2

并非每个grep都有o选项。这是没有grep的版本：

$ n=`echo ABC1234A|sed s/\[^0-9]//g`; echo $n