From 1853d479198d9c84ef8c8341251f3c4dd15ef3f1 Mon Sep 17 00:00:00 2001
From: Holger Levsen <holger@layer-acht.org>
Date: Thu, 30 Jul 2015 12:51:12 +0200
Subject: create jenkins user if it doesnt exist (eg on build hosts)

---
 update_jdn.sh | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'update_jdn.sh')

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
-- 
cgit v1.2.3-54-g00ecf