diff options
author | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2020-08-05 17:10:47 +0800 |
---|---|---|
committer | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2020-08-05 17:10:47 +0800 |
commit | d29625ad1a08812c7d4188b05952695250f0737a (patch) | |
tree | 5fe1f22e3837108c421c73c8f063d75a9c172993 /devel/jenkins | |
parent | 1c4197a0f1643491d80f4a2e6fb71a1b5337e329 (diff) | |
download | freebsd-ports-gnome-d29625ad1a08812c7d4188b05952695250f0737a.tar.gz freebsd-ports-gnome-d29625ad1a08812c7d4188b05952695250f0737a.tar.zst freebsd-ports-gnome-d29625ad1a08812c7d4188b05952695250f0737a.zip |
Update to 2.251
Align the default port and prefix with the upstream.
Diffstat (limited to 'devel/jenkins')
-rw-r--r-- | devel/jenkins/Makefile | 2 | ||||
-rw-r--r-- | devel/jenkins/distinfo | 6 | ||||
-rw-r--r-- | devel/jenkins/files/jenkins.in | 2 | ||||
-rw-r--r-- | devel/jenkins/pkg-message | 5 |
4 files changed, 9 insertions, 6 deletions
diff --git a/devel/jenkins/Makefile b/devel/jenkins/Makefile index 73e566c40e08..e39cc5500b24 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 2.250 +PORTVERSION= 2.251 CATEGORIES= devel java MASTER_SITES= http://mirrors.jenkins-ci.org/war/${PORTVERSION}/ DISTNAME= jenkins diff --git a/devel/jenkins/distinfo b/devel/jenkins/distinfo index 3017224899ad..5a32f7dcdedc 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1596097051 -SHA256 (jenkins/2.250/jenkins.war) = cdd74f5a7e08499e40480a866adabc8429c81f2ab6f1255cba1be2bd94e2f500 -SIZE (jenkins/2.250/jenkins.war) = 67396010 +TIMESTAMP = 1596616317 +SHA256 (jenkins/2.251/jenkins.war) = 31091445f4c81bd20f2aa51c45d937089cb6d50991d99ec953e4deb44ffa7c50 +SIZE (jenkins/2.251/jenkins.war) = 67396691 diff --git a/devel/jenkins/files/jenkins.in b/devel/jenkins/files/jenkins.in index dc970899ae48..2963a6441992 100644 --- a/devel/jenkins/files/jenkins.in +++ b/devel/jenkins/files/jenkins.in @@ -51,7 +51,7 @@ load_rc_config "${name}" : ${jenkins_enable:=NO} : ${jenkins_home="%%JENKINS_HOME%%"} -: ${jenkins_args="--webroot=${jenkins_home}/war --httpPort=8180 --prefix=/jenkins"} +: ${jenkins_args="--webroot=${jenkins_home}/war"} : ${jenkins_java_home="%%JAVA_HOME%%"} : ${jenkins_user="%%JENKINS_USER%%"} : ${jenkins_group="%%JENKINS_GROUP%%"} diff --git a/devel/jenkins/pkg-message b/devel/jenkins/pkg-message index 47ecbe73eefd..8a15c76f5be8 100644 --- a/devel/jenkins/pkg-message +++ b/devel/jenkins/pkg-message @@ -1,7 +1,10 @@ [ { type: install message: <<EOM -Please login to the Jenkins web interface and secure with a password, +Jenkins defaults listens on http://*:8080 , to change this, add --httpPort and +--prefix settings to jenkins_args in /etc/rc.conf + +Please login to the Jenkins web interface and secure it with a password when installing for the first time. More information: |