Workaround: bash oddity HOSTNAME is defined but not exported

Author: bnmnetp

scripts/install_new_image.sh

@@ -9,6 +9,8 @@ if [[ $PWD != */production ]]; then
     exit
 fi
 
+export HOSTNAME=$HOSTNAME
+
 # pull the latest
 git pull
 docker pull registry.digitalocean.com/runestone-registry/production_server:latest