geoserver
1
2# as environment variables
3
4# constants
5GS_GIT_URL=https://github.com/geoserver/geoserver.git
6GT_GIT_URL=https://github.com/geotools/geotools.git
7GWC_GIT_URL=https://github.com/GeoWebCache/geowebcache.git
8JIRA_REST=https://osgeo-org.atlassian.net/rest/api/latest
9JIRA_PROJ=GEOS
10SF_HOST=frs.sourceforge.net
11
12# maven environment
13MAVEN_FLAGS="$MAVEN_FLAGS --batch-mode -Dspotless.apply.skip=true"
14
15# Use settings.xml override if provided
16if [ -n "$MAVEN_SETTINGS" ]; then
17MAVEN_FLAGS="-s $MAVEN_SETTINGS $MAVEN_FLAGS"
18fi
19
20# parameter defaults
21if [ -z $branch ]; then
22branch="master"
23fi
24
25if [ -z $rev ]; then
26rev="HEAD"
27fi
28
29if [ -z $DIST_PATH ]; then
30DIST_PATH=/var/www/geoserver/release
31fi
32
33if [ -z $DIST_HOST ]; then
34DIST_HOST=build.geoserver.org
35fi
36
37if [ -z $DIST_URL ]; then
38DIST_URL=https://$DIST_HOST/geoserver/release
39fi
40
41if [ -z $DIST_PORT ]; then
42DIST_PORT=22
43fi
44
45if [ -z $DIST_USER ]; then
46DIST_USER=jenkins
47fi
48
49if [ -z $DIST_PK ]; then
50DIST_PK=$HOME/.ssh/id_rsa_${DIST_USER}_${DIST_HOST}
51fi
52
53if [ -z $SF_USER ]; then
54SF_USER=jdeolive
55fi
56
57if [ -z $SF_PK ]; then
58SF_PK=$HOME/.ssh/id_dsa_${SF_USER}_frs.sourceforge.net
59fi
60
61