fix: don't echo double-double-quotes to server.properties (#954)

Using `sed`, we need to escape double quotes, but with `echo` we can just use the variable as-is.
Closes #949
This commit is contained in:
Pascal Sthamer 2021-07-07 16:56:16 +02:00 committed by GitHub
parent 8aa1312ae2
commit cbaef446ac
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -19,7 +19,7 @@ function setServerProp {
sed -i "/^${prop}\s*=/ c ${prop}=${var//\\/\\\\}" "$SERVER_PROPERTIES"
else
log "Adding ${prop} with '${var}' in ${SERVER_PROPERTIES}"
echo "${prop}=${var//\\/\\\\}" >> "$SERVER_PROPERTIES"
echo "${prop}=${var}" >> "$SERVER_PROPERTIES"
fi
else
isDebugging && log "Skip setting ${prop}"