Merge "Use OpenStack PyPi mirror."

modules/jenkins_slave/files/pip.conf

@@ -0,0 +1,3 @@
+[global]
+index-url = http://pypi.openstack.org
+extra-index-url = http://pypi.python.org/simple

modules/jenkins_slave/files/pydistutils.cfg

@@ -0,0 +1,2 @@
+[easy_install]
+index_url = http://pypi.openstack.org

modules/jenkins_slave/manifests/jenkinsuser.pp

@@ -23,7 +23,34 @@ define jenkinsuser($ensure = present, $ssh_key) {
     require => User['jenkins']
   }
     
-  
+  file { 'jenkinspipdir':
+    name => '/home/jenkins/.pip',
+    owner => 'jenkins',
+    group => 'jenkins',
+    ensure => 'directory',
+    require => File['jenkinshome'],
+  }
+
+  file { 'jenkinspipconf':
+    name => '/home/jenkins/.pip/pip.conf',
+    owner => 'jenkins',
+    group => 'jenkins',
+    mode => 640,
+    ensure => 'present',
+    source => "puppet:///modules/jenkins_slave/pip.conf",
+    require => File['jenkinspipdir'],
+  }
+
+  file { 'jenkinspydistutilscfg':
+    name => '/home/jenkins/.pydistutils.cfg',
+    owner => 'jenkins',
+    group => 'jenkins',
+    mode => 640,
+    ensure => 'present',
+    source => "puppet:///modules/jenkins_slave/pydistutils.cfg",
+    require => File['jenkinshome'],
+  }
+   
   file { 'jenkinssshdir':
     name => '/home/jenkins/.ssh',
     owner => 'jenkins',