diff options
-rwxr-xr-x | update_jdn.sh | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index 0064a140..b06b1ce9 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -57,19 +57,17 @@ if ! getent passwd jenkins-adm > /dev/null ; then sudo adduser --system --shell /bin/bash --no-create-home --ingroup jenkins-adm --disabled-login --no-create-home jenkins-adm sudo usermod -G jenkins jenkins-adm fi -for user in helmut holger mattia lunar philh phil ; do +for user in helmut holger mattia lunar phil ; do if [ "$user" = "lunar" ] && [ "$HOSTNAME" != "jenkins" ] ; then # lunar only wants to configure jekyll continue fi - if [ "$user" = "phil" ] && [ "$HOSTNAME" != "jenkins-test-vm" ] ; then + if [ "$user" = "phil" ] && [ "$HOSTNAME" = "jenkins-test-vm" ] ; then # phil only wants to test stuff sudo adduser $user libvirt sudo adduser $user libvirt-qemu continue - fi - if [ "$user" = "philh" ] && [ "$HOSTNAME" != "jenkins-test-vm" ] ; then - # philh only wants to test stuff + elif [ "$user" = "phil" ] ; then continue fi # actually create the user |