С участием установка Jenkins по умолчанию в Ubuntu / Debian, есть ли простой способ изменить путь развертывания? Я бы хотел, чтобы Дженкинс был доступен где-нибудь вроде http://localhost:8090/foobar
Ищу способ настроить в /etc/default/jenkins, аналогично настройке порта HTTP:
# port for HTTP connector (default 8080; disable with -1)
HTTP_PORT=8090
/etc/default/jenkins содержит этот бит, который кажется связанным, но я не уверен, как его использовать:
# servlet context, important if you want to use apache proxying
PREFIX=/jenkins
Ах, глядя на /etc/default/jenkins еще немного, это оказалось очень просто.
Конец /etc/default/jenkins по умолчанию выглядит так:
# servlet context, important if you want to use apache proxying
PREFIX=/jenkins
# arguments to pass to jenkins.
# --javahome=$JAVA_HOME
# --httpPort=$HTTP_PORT (default 8080; disable with -1)
# --httpsPort=$HTTP_PORT
# --ajp13Port=$AJP_PORT
# --argumentsRealm.passwd.$ADMIN_USER=[password]
# --argumentsRealm.roles.$ADMIN_USER=admin
# --webroot=~/.jenkins/war
# --prefix=$PREFIX
JENKINS_ARGS="--webroot=/var/cache/jenkins/war --httpPort=$HTTP_PORT --ajp13Port=$AJP_PORT"
Итак, вам нужно только установить PREFIX по своему вкусу, и редактировать JENKINS_ARGS содержать --prefix=$PREFIX. Так JENKINS_ARGS будет что-то вроде:
JENKINS_ARGS="--webroot=/var/cache/jenkins/war --prefix=$PREFIX --httpPort=$HTTP_PORT --ajp13Port=$AJP_PORT"