J'essaie de configurer Jenkins dans Tomcat7 sur Ubuntu. J'ai installé Tomcat7 et déployé jenkins.war
, et je vois maintenant la page d'accueil de Jenkins sur http://myhost:8080/jenkins
, mais il tente de créer le répertoire Jenkins sur /usr/share/tomcat7/.jenkins
, ce qu'il ne peut pas pour des raisons de sécurité. J'ai déjà créé /srv/jenkins
et donné les tomcat7
autorisations de groupe et je souhaite définir JENKINS_HOME
ce chemin. J'ai essayé de l'ajouter à la configuration tomcat dans /etc/tomcat7/server.xml
:
<GlobalNamingResources>
<Environment name="JENKINS_HOME" value="/srv/jenkins"
type="java.lang.String" override="false"/>
<!-- Default settings -->
Et j'ai également essayé de l'ajouter au fichier de contexte créé automatiquement dans ROOT/META-INF/context.xml
(il n'y en a pas $CATALINA_HOME/conf
pour autant que je sache).
<Context path="/"
antiResourceLocking="false" >
<Environment name="JENKINS_HOME" value="/srv/jenkins/" type="java.lang.String"/>
</Context>
Mais même après avoir redémarré tomcat7, j'obtiens toujours le même résultat (en essayant de l'utiliser /usr/share/tomcat7/.jenkins
).
Où dois-je définir la variable d'environnement JENKINS_HOME
dans Tomcat7?