This commit is contained in:
Michael Grote 2023-07-21 21:03:14 +02:00
parent 41861cb4d3
commit f52d7f0403

10
app.sh
View file

@ -40,18 +40,10 @@ while true ; do
git config --global user.email "$GIT_USER_MAIL"
git config --global user.name "$GIT_USERNAME"
if [ -d "$GIT_REPO_PATH" ] ; then
cd "$GIT_REPO_PATH"
if [ -d ".git" ] ; then
echo pull
pwd
git pull "$GIT_REPO_REMOTE_NAME" "$GIT_REPO_BRANCH" --quiet
fi
else
echo clone
pwd
git clone "$GIT_REPO_URL" "$GIT_REPO_PATH" --quiet
fi
cd "$GIT_REPO_PATH"
# Save the current value of IFS to restore later
OLD_IFS=$IFS