Estoy tratando de configurar Jenkins en Tomcat7 en Ubuntu. Instalé Tomcat7 y lo implementé jenkins.war, y ahora veo la página de inicio de Jenkins en http://myhost:8080/jenkins, pero está tratando de crear el directorio de Jenkins en /usr/share/tomcat7/.jenkins, que no puede por razones de seguridad. Ya he creado /srv/jenkinsy otorgado los tomcat7permisos de grupo, y quiero establecer JENKINS_HOMEesa ruta. Intenté agregarlo a la configuración de tomcat en /etc/tomcat7/server.xml:
<GlobalNamingResources>
<Environment name="JENKINS_HOME" value="/srv/jenkins"
type="java.lang.String" override="false"/>
<!-- Default settings -->
Y también he intentado agregarlo al archivo de contexto creado automáticamente ROOT/META-INF/context.xml(no hay $CATALINA_HOME/confhasta donde puedo decir).
<Context path="/"
antiResourceLocking="false" >
<Environment name="JENKINS_HOME" value="/srv/jenkins/" type="java.lang.String"/>
</Context>
Pero incluso después de reiniciar tomcat7 sigo obteniendo el mismo resultado (tratando de usar /usr/share/tomcat7/.jenkins).
¿Dónde necesito establecer la variable de entorno para JENKINS_HOMEen Tomcat7?
