如何檢查字符串的第一個字符是否為bash中的數字？

Question

我在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做到這一點，但可能需要很長時間和額外的代碼。

既然您知道了主要問題，請隨時發表評論或提出建議。

謝謝

Answer 1

[[的=的RHS采用球形模式。

$ [[ 123 = [0-9]* ]] ; echo $?
0
$ [[ foo = [0-9]* ]] ; echo $?
1