Show proper external URL in Pandora, fixes #264

pandora.sh

@@ -37,6 +37,7 @@ else
 fi
 cp ${SOURCE_DIR}/srv/pandora/conf/gunicorn_config.py /srv/pandora/conf/gunicorn_config.py
 envsubst <${SOURCE_DIR}/srv/pandora/conf/local_settings.py >/srv/pandora/conf/local_settings.py
+cp ${SOURCE_DIR}/srv/pandora/update-url.sh /srv/pandora/update-url.sh
 
 # Set "production values" (increases performance) only if the DEBUG environment variable is not set
 if [ ${DEBUG:-0} -eq 0 ]; then

pandora/srv/pandora/conf/config.jsonc

@@ -1033,7 +1033,7 @@ examples (config.SITENAME.jsonc) that are part of this pan.do/ra distribution.
         "id": "pandora",
         "name": "pan.do/ra",
         "sendReferrer": true,
-        "url": "pandora.local"
+        "url": "pandora.spotter.vm"
     },
     /*
     "sitePages" defines the sections of the main site dialog. If "news" is

pandora/srv/pandora/update-url.sh

@@ -0,0 +1,6 @@
+#!/bin/sh
+
+HOST="${1}"
+[ "${2}" != "443" ] && HOST="${1}:${2}"
+
+sed -i "s|^        \"url\":.*|        \"url\": \"pandora.${HOST}\"|" /srv/pandora/conf/config.jsonc