"
This commit is contained in:
parent
3985d8c20b
commit
14df44fb68
1 changed files with 6 additions and 6 deletions
12
x
12
x
|
@ -13,27 +13,27 @@ GIT_USER_MAIL=michael.grote@posteo.de
|
||||||
GIT_REPO_REMOTE_NAME=origin
|
GIT_REPO_REMOTE_NAME=origin
|
||||||
|
|
||||||
# Checks
|
# Checks
|
||||||
if [ -z $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 [ -z $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 [ -z $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 [ -z $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 [ -z $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 [ -z $DEVICES ] ; then
|
if [ -z "$DEVICES" ] ; then
|
||||||
echo "DEVICES is not set."
|
echo "DEVICES is not set."
|
||||||
exit 3
|
exit 3
|
||||||
fi
|
fi
|
||||||
|
|
Loading…
Reference in a new issue