# Variables for fast-access of production server.

PROD_USER=user
PROD_NAME=example.com
PROD_PORT=2222

PROD_GIT_USER=git
PROD_GIT_HOST=git.example.com
PROD_GIT_PORT=8080

PROD_DATA_USER=data
PROD_DATA_HOST=sftp.example.com
PROD_DATA_PORT=2200

PROG="$(basename -- "${BASH_SOURCE[0]}")"
echo "'$PROG' completed!"