Próbuję skonfigurować Jenkins w Tomcat7 na Ubuntu. Zainstalowałem Tomcat7 i wdrożyłem jenkins.war, i teraz widzę stronę główną Jenkins pod adresem http://myhost:8080/jenkins, ale próbuje utworzyć katalog Jenkins /usr/share/tomcat7/.jenkins, w którym nie jest to możliwe ze względów bezpieczeństwa. Już utworzyłem /srv/jenkinsi nadałem tomcat7uprawnienia grupie i chcę ustawić JENKINS_HOMEtę ścieżkę. Próbowałem dodać go do konfiguracji tomcat w /etc/tomcat7/server.xml:
<GlobalNamingResources>
<Environment name="JENKINS_HOME" value="/srv/jenkins"
type="java.lang.String" override="false"/>
<!-- Default settings -->
Próbowałem też dodać go do automatycznie utworzonego pliku kontekstowego w ROOT/META-INF/context.xml( $CATALINA_HOME/confo ile wiem, nie ma).
<Context path="/"
antiResourceLocking="false" >
<Environment name="JENKINS_HOME" value="/srv/jenkins/" type="java.lang.String"/>
</Context>
Ale nawet po ponownym uruchomieniu tomcat7 nadal otrzymuję ten sam wynik (próbuję użyć /usr/share/tomcat7/.jenkins).
Gdzie muszę ustawić zmienną środowiskową dla JENKINS_HOMEw Tomcat7?