X-Git-Url: https://ruderich.org/simon/gitweb/?a=blobdiff_plain;f=setup.sh;h=da3e9bde524c231dd235db7befd895062c324088;hb=672a0aaf51b19719eef061881b96880869082d2c;hp=e18d62c0f95197712c9fe6eeb98e265b288fb523;hpb=b7ab75a41290728ec465f732d697f136186a4cef;p=config%2Fdotfiles.git

diff --git a/setup.sh b/setup.sh
index e18d62c..da3e9bd 100755
--- a/setup.sh
+++ b/setup.sh
@@ -28,9 +28,10 @@ function git_remote_init_update() {
         echo "Adding remote '$2' to '$1'."
         git remote add -t master "$2" "$3/$1"
         git fetch "$2" > /dev/null
-        # Remove the remote if the fetch was unsuccessful.
+        # Remove the remote and abort if the fetch was unsuccessful.
         if [ "$?" -ne "0" ]; then
             git remote rm "$2"
+            exit 1
         fi
 
         # Pushing to the remote pushes only the master branch in remotes named
@@ -43,9 +44,10 @@ function git_remote_init_update() {
     fi
 
     # Merge with remote master if the repository was just created, otherwise
-    # the repository starts empty.
+    # the repository starts empty. Also run gc to compress the new repository.
     if [ $new = yes ]; then
         git merge "$2/master"
+        git gc > /dev/null
     fi
 
     # Go back to the starting directory.