diff --git a/update-dots.sh b/update-dots.sh index 40a1875b..ba67ad32 100644 --- a/update-dots.sh +++ b/update-dots.sh @@ -58,7 +58,7 @@ if ! git fetch; then fi # Check if there are any changes -if [[ ! $(git rev-list HEAD...origin/$current_branch --count) -eq 0 ]]; then +if [[ $(git rev-list HEAD...origin/$current_branch --count) -eq 0 ]]; then echo "Repository is already up-to-date. Do not run git pull before this script. Exiting." exit 0 fi @@ -158,7 +158,7 @@ else fi # Then update the repository -if ! git pull; then +if git pull; then echo "Git pull successful." else # If the pull failed, clone the repository to a temporary folder and copy the files from there