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/jenkins
e concesso le tomcat7
autorizzazioni di gruppo e desidero impostare JENKINS_HOME
quel 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/conf
per 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_HOME
in Tomcat7?