Saya mencoba mengatur Jenkins di Tomcat7 di Ubuntu. Saya menginstal Tomcat7 dan digunakan jenkins.war, dan sekarang saya melihat halaman utama Jenkins di http://myhost:8080/jenkins, tetapi mencoba untuk membuat direktori Jenkins di /usr/share/tomcat7/.jenkins, yang tidak bisa karena alasan keamanan. Saya sudah membuat /srv/jenkinsdan memberikan tomcat7izin grup, dan ingin mengatur JENKINS_HOMEke jalur itu. Saya sudah mencoba menambahkannya ke konfigurasi tomcat di /etc/tomcat7/server.xml:
<GlobalNamingResources>
<Environment name="JENKINS_HOME" value="/srv/jenkins"
type="java.lang.String" override="false"/>
<!-- Default settings -->
Dan saya juga telah mencoba menambahkannya ke file konteks yang dibuat secara otomatis di ROOT/META-INF/context.xml(tidak ada $CATALINA_HOME/confsejauh yang saya tahu).
<Context path="/"
antiResourceLocking="false" >
<Environment name="JENKINS_HOME" value="/srv/jenkins/" type="java.lang.String"/>
</Context>
Tetapi bahkan setelah restart tomcat7 saya masih mendapatkan hasil yang sama (mencoba menggunakan /usr/share/tomcat7/.jenkins).
Di mana saya perlu mengatur variabel lingkungan JENKINS_HOMEdi Tomcat7?