This commit is contained in:
Michael Grote 2023-07-21 19:03:02 +02:00
parent b47785e4f7
commit 8a5de81a8c

12
x
View file

@ -13,27 +13,27 @@ GIT_USER_MAIL=michael.grote@posteo.de
GIT_REPO_REMOTE_NAME=origin GIT_REPO_REMOTE_NAME=origin
# Checks # Checks
if [ ! -v $GIT_REPO_PATH ]; then if [ -z $GIT_REPO_PATH ]; then
echo "GIT_REPO_PATH is not set." echo "GIT_REPO_PATH is not set."
exit 3 exit 3
fi fi
if [ ! -v $GIT_REPO_BRANCH ]; then if [ -z $GIT_REPO_BRANCH ]; then
echo "GIT_REPO_BRANCH is not set." echo "GIT_REPO_BRANCH is not set."
exit 3 exit 3
fi fi
if [ ! -v $GIT_USERNAME ]; then if [ -z $GIT_USERNAME ]; then
echo "GIT_USERNAME is not set." echo "GIT_USERNAME is not set."
exit 3 exit 3
fi fi
if [ ! -v $GIT_USER_MAIL ]; then if [ -z $GIT_USER_MAIL ]; then
echo "GIT_USER_MAIL is not set." echo "GIT_USER_MAIL is not set."
exit 3 exit 3
fi fi
if [ ! -v $GIT_REPO_REMOTE_NAME ]; then if [ -z $GIT_REPO_REMOTE_NAME ]; then
echo "GIT_REPO_REMOTE_NAME is not set." echo "GIT_REPO_REMOTE_NAME is not set."
exit 3 exit 3
fi fi
if [ ! -v $DEVICES ]; then if [ -z $DEVICES ]; then
echo "DEVICES is not set." echo "DEVICES is not set."
exit 3 exit 3
fi fi