mattia wants zsh, mattia gets zsh

update_jdn.sh

@@ -31,7 +31,12 @@ if ! getent passwd jenkins-adm > /dev/null  ; then
 fi
 for user in helmut holger mattia ; do
 	if ! getent passwd $user > /dev/null ; then
-		sudo adduser --gecos "" --disabled-password $user
+		if [ "$user" = "mattia" ] ; then
+			local shell=/bin/zsh
+		else
+			local shell=/bin/bash
+		fi
+		sudo adduser --gecos "" --shell "$shell" --disabled-password $user
 		if [ "$user" = "holger" ] ; then
 			sudo usermod -G jenkins,jenkins-adm,sudo,adm $user
 		else