Enable Bash as user shell on server.

diff --git a/buster/setup_scripts/setup_server.sh b/buster/setup_scripts/setup_server.sh
index 6d92c7c979266829d7d606c1711c446055cf6e95..a9debdb06e24d0e5764abaa62176db3ebe361b7e 100755 (executable)
--- a/buster/setup_scripts/setup_server.sh
+++ b/buster/setup_scripts/setup_server.sh
@@ -16,3 +16,7 @@ config_tree_prefix="${HOME}/config/buster"
 setup_scripts_dir="${config_tree_prefix}/setup_scripts"
 cd "${setup_scripts_dir}"
 ./setup.sh "${hostname}" "${fqdn}" server
+
+# If we have not yet set the shell for user plom, ensure it here. This
+# is mostly for convenience.
+usermod -s /bin/bash plom