web-server/build/properties

# as environment variables

# constants
GS_GIT_URL=https://github.com/geoserver/geoserver.git
GT_GIT_URL=https://github.com/geotools/geotools.git
GWC_GIT_URL=https://github.com/GeoWebCache/geowebcache.git
JIRA_REST=https://osgeo-org.atlassian.net/rest/api/latest
JIRA_PROJ=GEOS
SF_HOST=frs.sourceforge.net

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

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

# parameter defaults
if [ -z $branch ]; then
  branch="master"
fi

if [ -z $rev ]; then
  rev="HEAD"
fi

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

if [ -z $DIST_HOST ]; then
  DIST_HOST=build.geoserver.org
fi

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

if [ -z $DIST_PORT ]; then
  DIST_PORT=22
fi

if [ -z $DIST_USER ]; then
  DIST_USER=jenkins
fi

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

if [ -z $SF_USER ]; then
  SF_USER=jdeolive
fi

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