1

我正在用 bash 编写一个 xml 元素。我需要将一些以数字开头的字符串替换为以字符开头的字符串，因此它是一个有效的 XML 标记（记住 xml 标记不能以字母数字字符开头）。

例如，

  str = 192.16.76.52,1001

这不是一个有效的 xml 标签，即我不能这样做

<192.16.76.52,1001>
.....
</192.16.76.52,1001>

所以，我打算检测它是否是一个数字并用类似的东西替换它

IP192.16.76.52

我知道我可以用 IFS 做到这一点，但可能需要很长时间和额外的代码。

既然您知道主要问题，请随时发表评论或提供建议。

谢谢

4

1 回答 1

6

=in的 RHS[[采用 glob 模式。

$ [[ 123 = [0-9]* ]] ; echo $?
0
$ [[ foo = [0-9]* ]] ; echo $?
1
于 2012-07-16T14:04:56.447 回答