geoserver

1

2
# as environment variables
3

4
# constants
5
GS_GIT_URL=https://github.com/geoserver/geoserver.git
6
GT_GIT_URL=https://github.com/geotools/geotools.git
7
GWC_GIT_URL=https://github.com/GeoWebCache/geowebcache.git
8
JIRA_REST=https://osgeo-org.atlassian.net/rest/api/latest
9
JIRA_PROJ=GEOS
10
SF_HOST=frs.sourceforge.net
11

12
# maven environment
13
MAVEN_FLAGS="$MAVEN_FLAGS --batch-mode -Dspotless.apply.skip=true"
14

15
# Use settings.xml override if provided
16
if [ -n "$MAVEN_SETTINGS" ]; then
17
  MAVEN_FLAGS="-s $MAVEN_SETTINGS $MAVEN_FLAGS"
18
fi
19

20
# parameter defaults
21
if [ -z $branch ]; then
22
  branch="master"
23
fi
24

25
if [ -z $rev ]; then
26
  rev="HEAD"
27
fi
28

29
if [ -z $DIST_PATH ]; then
30
  DIST_PATH=/var/www/geoserver/release
31
fi
32

33
if [ -z $DIST_HOST ]; then
34
  DIST_HOST=build.geoserver.org
35
fi
36

37
if [ -z $DIST_URL ]; then
38
  DIST_URL=https://$DIST_HOST/geoserver/release
39
fi
40

41
if [ -z $DIST_PORT ]; then
42
  DIST_PORT=22
43
fi
44

45
if [ -z $DIST_USER ]; then
46
  DIST_USER=jenkins
47
fi
48

49
if [ -z $DIST_PK ]; then
50
  DIST_PK=$HOME/.ssh/id_rsa_${DIST_USER}_${DIST_HOST}
51
fi
52

53
if [ -z $SF_USER ]; then
54
  SF_USER=jdeolive
55
fi
56

57
if [ -z $SF_PK ]; then
58
  SF_PK=$HOME/.ssh/id_dsa_${SF_USER}_frs.sourceforge.net
59
fi
60

61