Ci sono modi differenti di modificare la directory home di Jenkins:
JENKINS_HOME
nel file di configurazione di Jenkins (ad esempio
/etc/sysconfig/jenkins
su Red Hat Linux).
JENKINS_HOME
.
JENKINS_HOME
prima di avviare il container Web, o prima di avviare Jenkins direttamente
dal file WAR.
JENKINS_HOME
durante l'avvio del container Web, o durante l'avvio di Jenkins
direttamente dal file WAR.
web.xml
in
jenkins.war
(o la sua immagine espansa nel container Web). Quest'opzione non è
consigliata.