From: Peter Palfrader <peter@palfrader.org>
Date: Mon, 23 Sep 2019 15:38:39 +0000 (+0200)
Subject: give the jenkins roles home directories
X-Git-Url: https://git.adam-barratt.org.uk/?a=commitdiff_plain;h=13ed05f0053a0a93ac099af3446d6d1594bb65b0;p=mirror%2Fdsa-puppet.git

give the jenkins roles home directories
---

diff --git a/modules/roles/manifests/jenkins.pp b/modules/roles/manifests/jenkins.pp
index a6ab670b6..ccff2990e 100644
--- a/modules/roles/manifests/jenkins.pp
+++ b/modules/roles/manifests/jenkins.pp
@@ -29,4 +29,30 @@ class roles::jenkins {
   ensure_packages([
     'debian.org-jenkins.debian.org'
   ], { ensure => 'installed' })
+
+
+  # home directories
+  file { [
+      '/srv/jenkins.debian.org',
+      '/srv/jenkins.debian.org/home-adm'
+    ]:
+      ensure => directory,
+      mode   => '2755',
+      owner  => 'jenkins-adm',
+      group  => 'jenkins-adm',
+  }
+  file { '/home/jenkins-adm':
+    ensure => link,
+    target => '/srv/jenkins.debian.org/home-adm',
+  }
+  file { '/srv/jenkins.debian.org/home-unpriv':
+      ensure => directory,
+      mode   => '2755',
+      owner  => 'jenkins',
+      group  => 'jenkins',
+  }
+  file { '/home/jenkins':
+    ensure => link,
+    target => '/srv/jenkins.debian.org/home-unpriv',
+  }
 }