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/jenkinset donné les tomcat7autorisations de groupe et je souhaite définir JENKINS_HOMEce 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/confpour 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_HOMEdans Tomcat7?