2018-09-20 14:03:23 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
2019-10-05 16:34:10 +02:00
|
|
|
sed -i "s|\(^\s\+proxyName=\).*|\1\"odk.${DOMAIN}\"|" /srv/opendatakit/odk_conf/server.xml
|
|
|
|
|
sed -i "s|\(^\s\+proxyPort=\).*|\1\"${PORT}\"|" /srv/opendatakit/odk_conf/server.xml
|
|
|
|
|
sed -i "s|\(^security\.server\.securePort=\).*|\1${PORT}|" /srv/opendatakit/odk_conf/security.properties
|
