2018-09-20 14:03:23 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
2020-04-10 13:03:34 +02:00
|
|
|
# Volumes
|
|
|
|
|
ODK_CONF="${VOLUMES_DIR}/opendatakit/odk_conf"
|
|
|
|
|
|
|
|
|
|
# Replacements
|
|
|
|
|
sed -i "s|\(^\s\+proxyName=\).*|\1\"${HOST}.${DOMAIN}\"|" ${ODK_CONF}/server.xml
|
|
|
|
|
sed -i "s|\(^\s\+proxyPort=\).*|\1\"${PORT}\"|" ${ODK_CONF}/server.xml
|
|
|
|
|
sed -i "s|\(^security\.server\.securePort=\).*|\1${PORT}|" ${ODK_CONF}/security.properties
|
