Add old_server option to setup_server script.

[config] / buster / setup_scripts / setup_server.sh

diff --git a/buster/setup_scripts/setup_server.sh b/buster/setup_scripts/setup_server.sh
index eefc350f48b922ccfadb4b923adf65cd60187bdc..fa4cc6e84433afc0355e2d73a7c37e2cfcc9f5e5 100755 (executable)
--- a/buster/setup_scripts/setup_server.sh
+++ b/buster/setup_scripts/setup_server.sh
@@ -4,18 +4,19 @@
 set -e
 
 # Provide maximum input for set_hostname_and_fqdn.sh.
-if [ "$#" -ne 2 ]; then
+if [ "$#" -lt 2 ]; then
     echo 'Need exactly two arguments (hostname, FQDN).'
     false
 fi
 hostname="$1"
 fqdn="$2"
+additional_arg="$3"
 
 # Set up system without user environment.
 config_tree_prefix="${HOME}/config/buster"
 setup_scripts_dir="${config_tree_prefix}/setup_scripts"
 cd "${setup_scripts_dir}"
-./setup.sh "${hostname}" "${fqdn}" server
+./setup.sh "${hostname}" "${fqdn}" server "${additional_arg}"
 
 # If we have not yet set the shell for user plom, ensure it here. This
 # is mostly for convenience.