From c05f8a18b7279071e09d30dbfabdda42b8d7882d Mon Sep 17 00:00:00 2001 From: zaro Date: Tue, 26 Feb 2013 12:32:15 -0800 Subject: [PATCH] add maven settings file for jenkins user This commit is a workaround for jenkins issue https://issues.jenkins-ci.org/browse/JENKINS-13637 This issue was uncovered when attempting to build the jenkins gearman-plugin using maven3. Change-Id: I5fdb20756f4ebca45b8e6eb2f114d561e1cca944 Reviewed-on: https://review.openstack.org/23022 Reviewed-by: Clark Boylan Approved: James E. Blair Reviewed-by: James E. Blair Tested-by: Jenkins --- modules/jenkins/files/settings.xml | 34 ++++++++++++++++++++++++ modules/jenkins/manifests/jenkinsuser.pp | 18 +++++++++++++ 2 files changed, 52 insertions(+) create mode 100644 modules/jenkins/files/settings.xml diff --git a/modules/jenkins/files/settings.xml b/modules/jenkins/files/settings.xml new file mode 100644 index 0000000000..8bdfc18b1c --- /dev/null +++ b/modules/jenkins/files/settings.xml @@ -0,0 +1,34 @@ + + + org.jenkins-ci.tools + + + + + + jenkins + + true + + + + repo.jenkins-ci.org + http://repo.jenkins-ci.org/public/ + + + + + repo.jenkins-ci.org + http://repo.jenkins-ci.org/public/ + + + + + + + repo.jenkins-ci.org + http://repo.jenkins-ci.org/public/ + m.g.o-public + + + diff --git a/modules/jenkins/manifests/jenkinsuser.pp b/modules/jenkins/manifests/jenkinsuser.pp index 424ac9b432..fd6b31ee26 100644 --- a/modules/jenkins/manifests/jenkinsuser.pp +++ b/modules/jenkins/manifests/jenkinsuser.pp @@ -150,4 +150,22 @@ class jenkins::jenkinsuser( mode => '0755', require => File['/home/jenkins'], } + + file { '/home/jenkins/.m2': + ensure => directory, + owner => 'jenkins', + group => 'jenkins', + mode => '0755', + require => File['/home/jenkins'], + } + + file { '/home/jenkins/.m2/settings.xml': + ensure => present, + owner => 'jenkins', + group => 'jenkins', + mode => '0644', + require => File['/home/jenkins/.m2'], + source => 'puppet:///modules/jenkins/settings.xml', + } + }