需要替换的行为:
monitor.url=http://192.168.25.100:8443/rest
查询资料得知,报错是因为替换的字符串包含有分隔符/
所以这行改一下分隔符就可以解决问题了 (这里的分隔符随自己定义 例如:sed -i "s#$url#$1#g" datasource.properties 这三个分隔符要统一就可以了)
改成感叹号!或者| 等其他来分割
sed -i "s!$url!$1!g" datasource.properties
关于sed 命令中的转义符为(\)