Do a dist-upgrade for the jessie image
[scripts.git] / .mrconfig
index 5cd4106..9aa51fe 100644 (file)
--- a/.mrconfig
+++ b/.mrconfig
@@ -1,3 +1,21 @@
+[DEFAULT]
+
+lib = 
+    git_assure_remote() {
+        remote="$1"
+        url="$2"
+        git remote | grep -q "^$remote$" || {
+            echo I: Adding remote $remote
+            git remote add "$remote" "$url"
+            git fetch "$remote"
+        }
+        git remote -v | grep "^$remote" | grep -q "$url" || {
+            echo I: Changing remote URL for $remote
+            git remote set-url $remote $url
+            git fetch "$remote"
+        }
+    }
+
 # general repos
 
 [gitolite-admin]
@@ -10,7 +28,7 @@ checkout = git clone ssh://gitolite@code.leap.se/leap_cloudadmin cloudadmin
 checkout = git clone ssh://gitolite@code.leap.se/bitmask bitmask
 
 [vagrant]
-checkout = git clone ssh://gitolite@code.leap.se/vagrant vagrant
+checkout = git clone ssh://gitolite@code.leap.se/leap_vagrant vagrant
 
 
 # admin repos
@@ -51,6 +69,9 @@ checkout = git clone ssh://gitolite@code.leap.se/leap_cli cli
 [python_srp]
 checkout = git clone ssh://gitolite@code.leap.se/python_srp python_srp
 
+[python_sh]
+checkout = git clone ssh://gitolite@code.leap.se/python_sh python_sh
+
 [platform]
 checkout = git clone ssh://gitolite@code.leap.se/python_gnutls python_gnutls