
# as environment variables

# constants
GIT_ROOT=http://github.com/geotools/geotools
JIRA_REST=https://osgeo-org.atlassian.net/rest/api/latest
JIRA_PROJ=GEOT
SF_HOST=frs.sourceforge.net

# maven environment
MAVEN_FLAGS="--batch-mode -Dfmt.skip=true"

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

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

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

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

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

if [ -z $DIST_URL ]; then
  DIST_URL=http://$DIST_HOST/geotools/release
fi

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

if [ -z $DIST_USER ]; then
  DIST_USER=tomcat
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
