preguntar acerca de home-directory

question Simple: Comment changer l'emplacement du répertoire de jenkins home? Par défaut, les points d' /var/lib/jenkins alors que je veux pointer vers /home/jenkins. J'ai changé mon $JENKINS_HOME/home/jenkins mais il ne m'aide pas. ... …