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 は[[グロブ パターンを取ります。

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