Я пытаюсь настроить 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_HOME
Tomcat7?