Я намагаюся налаштувати Дженкінса в Tomcat7 на Ubuntu. Я встановив Tomcat7 і розгорнув jenkins.war, і тепер я бачу домашню сторінку Дженкінса на http://myhost:8080/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?