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/jenkinse dei tomcat7permissões ao grupo e quero definir JENKINS_HOMEesse 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_HOMEno Tomcat7?