Não é exatamente a solução que eu prefiro, mas criei o script /usr/share/tomcat7/bin/setenv.sh
, conforme descrito em catalina.sh
.
#!
export JENKINS_HOME=/srv/jenkins
E, é claro, concedeu permissões de execução com chmod ugo+x setenv.sh
.