Я пытаюсь настроить Jenkins в Tomcat7 в Ubuntu. Я установил Tomcat7 и развернул jenkins.war, и теперь я вижу домашнюю страницу Jenkins по адресу http://myhost:8080/jenkins, но он пытается создать каталог Jenkins по адресу /usr/share/tomcat7/.jenkins, чего не может быть по соображениям безопасности. Я уже создал /srv/jenkinsи дал tomcat7групповые разрешения, и хочу установить JENKINS_HOMEэтот путь. Я попытался добавить его в конфигурацию Tomcat в /etc/tomcat7/server.xml:
<GlobalNamingResources>
<Environment name="JENKINS_HOME" value="/srv/jenkins"
type="java.lang.String" override="false"/>
<!-- Default settings -->
И я также попытался добавить его в автоматически созданный файл контекста ROOT/META-INF/context.xml(нет, $CATALINA_HOME/confнасколько я могу судить).
<Context path="/"
antiResourceLocking="false" >
<Environment name="JENKINS_HOME" value="/srv/jenkins/" type="java.lang.String"/>
</Context>
Но даже после перезапуска tomcat7 я все равно получаю тот же результат (пытаясь использовать /usr/share/tomcat7/.jenkins).
Где мне нужно установить переменную среды для JENKINS_HOMETomcat7?