From f52d7f04031692b6567a50d364122dd5af4ecf2d Mon Sep 17 00:00:00 2001 From: Michael Grote Date: Fri, 21 Jul 2023 21:03:14 +0200 Subject: [PATCH] mov --- app.sh | 16 ++++------------ 1 file changed, 4 insertions(+), 12 deletions(-) diff --git a/app.sh b/app.sh index 102dec1..34dfe65 100644 --- a/app.sh +++ b/app.sh @@ -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 + echo clone + pwd + git clone "$GIT_REPO_URL" "$GIT_REPO_PATH" --quiet + cd "$GIT_REPO_PATH" # Save the current value of IFS to restore later OLD_IFS=$IFS