--- /dev/null
+deb http://deb.debian.org/debian stretch main contrib non-free
+deb http://deb.debian.org/debian-security/ stretch/updates main contrib non-free
+deb http://deb.debian.org/debian stretch-updates main contrib non-free
+deb http://ftp.debian.org/debian stretch-backports main contrib non-free
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.