Fix jenkins-slave.sh: use -E option for sed
We were not using the good kind of regex, that was leading to bogus replacement and the slave
were not able to connect
@@ -73,9 +73,9 @@ function get_slave_agent() {
wget -nc http://${MASTER}/computer/${NODE_NAME}/slave-agent.jnlp || return 1
chmod a+r slave-agent.jnlp
if [[ "$NODE_NAME" =~ .*-staging$ ]]; then
- sed -i.bak "s|https?://ci-staging\.bazel\.io/|http://${MASTER}/|g" slave-agent.jnlp
+ sed -E -i.bak "s|https?://ci-staging\.bazel\.io/|http://${MASTER}/|g" slave-agent.jnlp
else
- sed -i.bak "s|https?://ci\.bazel\.io/|http://${MASTER}/|g" slave-agent.jnlp
+ sed -E -i.bak "s|https?://ci\.bazel\.io/|http://${MASTER}/|g" slave-agent.jnlp
fi
}
