diff options
Diffstat (limited to 'update_jdn.sh')
| -rwxr-xr-x | update_jdn.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index 5eac44a7..4815392d 100755 --- a/update_jdn.sh +++ b/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 |