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_HOMETomcat7の環境変数をどこに設定する必要がありますか?