Estou tentando configurar o Jenkins no Tomcat7 no Ubuntu. Instalei o Tomcat7 e implantei jenkins.war
, e agora vejo a página inicial do Jenkins em http://myhost:8080/jenkins
, mas ele está tentando criar o diretório Jenkins em /usr/share/tomcat7/.jenkins
, o que não é possível por razões de segurança. Eu já criei /srv/jenkins
e dei tomcat7
permissões ao grupo e quero definir JENKINS_HOME
esse caminho. Eu tentei adicioná-lo à configuração do tomcat em /etc/tomcat7/server.xml
:
<GlobalNamingResources>
<Environment name="JENKINS_HOME" value="/srv/jenkins"
type="java.lang.String" override="false"/>
<!-- Default settings -->
E também tentei adicioná-lo ao arquivo de contexto criado automaticamente ROOT/META-INF/context.xml
(não há $CATALINA_HOME/conf
, até onde eu saiba).
<Context path="/"
antiResourceLocking="false" >
<Environment name="JENKINS_HOME" value="/srv/jenkins/" type="java.lang.String"/>
</Context>
Mas mesmo depois de reiniciar o tomcat7, ainda recebo o mesmo resultado (tentando usar /usr/share/tomcat7/.jenkins
).
Para onde preciso definir a variável de ambiente JENKINS_HOME
no Tomcat7?