Ajout modifier le repertoire temporaire de Jenkins

HowtoJenkins.md

@@ -50,3 +50,21 @@ su - jenkins
 
 Puis générer la clé SSH.
 
+## Modifier le repertoire temporaire de Jenkins
+
+Souvent la partition /tmp est en noexec, ce qui pose des problèmes a Jenkins lors d'un clonage de dépôt où il y a besoin d’exécuter un script sh
+
+On peut modifier le dossier tmp dans */var/lib/jenkins/tmp* et bien donner comme propriétaire *jenkins:jenkins* au dossier *tmp*
+
+Il faut ensuite mettre la configuration suivant dans */etc/default/jenkins* :
+
+~~~
+# use a different tmpdir for jenkins
+JAVA_ARGS="$JAVA_ARGS -Djava.io.tmpdir=/var/lib/jenkins/tmp/"
+~~~
+
+Pour le que dossier *tmp* soit vider au redémarrage de la machine, comme un vrai dossier /tmp, il faut le monter en *tmpfs* dans */etc/fstab* :
+
+~~~
+tmpfs                   /var/lib/jenkins/tmp        tmpfs    defaults,nosuid,nodev,size=1024m  0       0
+~~~