diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-07-30 12:51:12 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-07-30 12:51:12 +0200 |
commit | 1853d479198d9c84ef8c8341251f3c4dd15ef3f1 (patch) | |
tree | 70d3fc564ef09e183521f1d21834c7812ae842be /update_jdn.sh | |
parent | 267701b36476ac67673764d89e547131a63b3b28 (diff) | |
download | jenkins.debian.net-1853d479198d9c84ef8c8341251f3c4dd15ef3f1.tar.xz |
create jenkins user if it doesnt exist (eg on build hosts)
Diffstat (limited to 'update_jdn.sh')
-rwxr-xr-x | update_jdn.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index 8369a339..4e0b8336 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -18,6 +18,9 @@ explain() { # # set up users and groups # +if ! getent passwd jenkins > /dev/null ; then + sudo adduser --system --no-create-home --ingroup jenkins --disabled-login jenkins +fi if ! getent group jenkins-adm > /dev/null ; then sudo addgroup --system jenkins-adm fi |