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 .