在Tomcat7中设置JENKINS_HOME？

Question

我正在尝试在 Ubuntu 上的 Tomcat7 中设置 Jenkins。我安装了 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中我需要在哪里设置环境变量？

Answer 1

这并不完全是我喜欢的解决方案，但我/usr/share/tomcat7/bin/setenv.sh按照 中的描述创建了脚本catalina.sh。

#!
export JENKINS_HOME=/srv/jenkins

当然，还给了它执行权限chmod ugo+x setenv.sh。