我只想从 bash shell 中的字符串变量返回数字。例如,对于:
#!/bin/sh
file="./file_02.txt"
file_num_tag=?????????????????
echo $file_num_tag
...我想回来
>>> 02
我知道这是非常微不足道的,但我在四处寻找答案时感到困惑,我想知道最好的方法。
最佳答案
您可以使用这个 BASH 字符串替换:
file="./file_02.txt"
echo "${file//[^[:digit:]]}"
02
[^[:digit:]]
将匹配并删除字符串 file
中的所有非数字。
或者使用 tr
(如果不使用 BASH):
num=`echo "$file" | tr -cd '[[:digit:]]'`
关于regex - 从 bash shell 中的字符串返回数字,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/29152396/