Sto cercando di configurare Jenkins in Tomcat7 su Ubuntu. Ho installato Tomcat7 e distribuito jenkins.war, e ora vedo la home page di Jenkins su http://myhost:8080/jenkins, ma sta tentando di creare la directory Jenkins /usr/share/tomcat7/.jenkins, che non è possibile per motivi di sicurezza. Ho già creato /srv/jenkinse concesso le tomcat7autorizzazioni di gruppo e desidero impostare JENKINS_HOMEquel percorso. Ho provato ad aggiungerlo alla configurazione di Tomcat in /etc/tomcat7/server.xml:
<GlobalNamingResources>
<Environment name="JENKINS_HOME" value="/srv/jenkins"
type="java.lang.String" override="false"/>
<!-- Default settings -->
E ho anche provato ad aggiungerlo al file di contesto creato automaticamente in ROOT/META-INF/context.xml(non c'è $CATALINA_HOME/confper quanto posso dire).
<Context path="/"
antiResourceLocking="false" >
<Environment name="JENKINS_HOME" value="/srv/jenkins/" type="java.lang.String"/>
</Context>
Ma anche dopo aver riavviato tomcat7 ottengo ancora lo stesso risultato (cercando di utilizzare /usr/share/tomcat7/.jenkins).
Dove devo impostare la variabile di ambiente per JENKINS_HOMEin Tomcat7?