From 65643c00c5c52e95370f7ff0f903bca869456a5d Mon Sep 17 00:00:00 2001 From: Bryan Joshua Pedini Date: Sun, 18 Sep 2022 16:18:35 +0200 Subject: [PATCH] added deploy script --- deploy.sh | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100755 deploy.sh diff --git a/deploy.sh b/deploy.sh new file mode 100755 index 0000000..5c808b3 --- /dev/null +++ b/deploy.sh @@ -0,0 +1,29 @@ +#/usr/bin/env bash +set -e + +# Check for the source server (with default) +DEPLOY_SOURCE_FILE="~/.deploy_source" +DEPLOY_SOURCE="git.bjphoster.com" +if [ -f "${DEPLOY_SOURCE_FILE}" ]; then + . "${DEPLOY_SOURCE_FILE}" +fi + +# Check for the deploy position (with default) +DEPLOY_DESTINATION_FILE="~/.deploy_destination" +DEPLOY_DESTINATION="/opt" +if [ -f "${DEPLOY_SOURCE_FILE}" ]; then + . "${DEPLOY_SOURCE_FILE}" +fi + +# Check if the correct usage is respected +if [ $# -ne 2 ]; then + echo "Usage: $0 " + echo + echo "Current settings:" + echo "- Source · ${DEPLOY_SOURCE}" + echo "- Destination · ${DEPLOY_DESTINATION}" + exit +fi + +echo "deploying ..." +git clone "${DEPLOY_SOURCE}/${1}" "${DEPLOY_DESTINATION}/$2"