releasing version 0.37

[code/myrepos.git] / lib / gitless

diff --git a/lib/gitless b/lib/gitless
index 87813161f742edb984b53a1ecb32493597279680..e686e589e954b9220e873a2cac3123022e7ff9a6 100644 (file)
--- a/lib/gitless
+++ b/lib/gitless
@@ -21,7 +21,6 @@
 # commands can be used, as long as the file server is available.
 
 lib =
-
        gitless_checkout() {
                server="$1"
                remotebase="$2"
@@ -29,13 +28,18 @@ lib =
                hostname="$(hostname)"
                if [ "$hostname" = "$server" ]; then
                        git clone "$dir.git" "$dir" 
+                       cd "$dir"
                else
                        if [ ! -d "$remotebase/$dir.$hostname" ]; then
                                git clone --no-checkout "$remotebase/$dir.git" "$remotebase/$dir.$hostname"
                        fi
-                       mkdir -p $dir
-                       cd $dir
-                       ln -sf $remotebase/$dir/.git
-                       git checkout .
+                       mkdir -p "$dir"
+                       cd "$dir"
+                       ln -sf "$remotebase/$dir.$hostname/.git"
+                       git reset --hard
                fi
+               
+               # disable auto gc, because it breaks repo hard links,
+               # and is not smart to run over a networked filesystem
+               git config gc.auto 0
        }