chiark / gitweb /
git: othercache
authorIan Jackson <ian.jackson@eu.citrix.com>
Thu, 13 Sep 2018 16:42:22 +0000 (17:42 +0100)
committerIan Jackson <ian.jackson@eu.citrix.com>
Thu, 13 Sep 2018 16:42:22 +0000 (17:42 +0100)
templates/gitconfig.in

index aa2dd68..211e36c 100755 (executable)
@@ -6,6 +6,7 @@ case "$(hostname -f)" in
 *.xensource.com)
     email="ian.jackson@eu.citrix.com"
     cache=git://git-cache.xs.citrite.net:9419
+    othercache=drall:9419
     ;;
 *)
     cache=git://localhost:9419
@@ -50,6 +51,18 @@ if [ "$cache" ]; then
 [url "$cache/"]
         insteadOf = $cache/
 END
+
+   if [ "$othercache" ]; then
+       cat <<END
+[url "git://$othercache/http://"]
+        insteadOf = git://$othercache/http://
+[url "git://$othercache/https://"]
+        insteadOf = git://$othercache/https://
+[url "git://$othercache/git://"]
+        insteadOf = git://$othercache/git://
+END
+    fi
+
 fi
 
 cat <<END