add ability to skip doing eg, updates, more frequently than a specified number of...

[code/myrepos.git] / mrconfig

diff --git a/mrconfig b/mrconfig
index 38ccfbb7706289058b3415116283f3acca65e79d..57868f4be51ed61fad87702d6e982615b6b2a077 100644 (file)
--- a/mrconfig
+++ b/mrconfig
@@ -3,6 +3,8 @@
 [DEFAULT]
 # Teach mr how to run svn cleanup.
 cleanup = if [ -d "$MR_REPO"/.svn ]; then svn cleanup ; fi
+# And how to run git gc
+gc = if [ -d "$MR_REPO"/.git ]; then git gc; fi
 # Tests used in the skips below.
 # - wantsrc checks whether I probably want a full source checkout (quite
 #   large)
@@ -10,26 +12,26 @@ cleanup = if [ -d "$MR_REPO"/.svn ]; then svn cleanup ; fi
 # - mylaptop only succeeds if it's on my main development laptop, which 
 #   gets lots of extra cruft
 # - kite only succeeds on kite
-lib =                                                          \
-       wantsrc() {                                             \
-               test "$(whoami)" = joey                         \
-       }                                                       \
-       private() {                                             \
-               if [ "$(whoami)" = joey ]; then                 \
-                       case "$(hostname)" in                   \
-                       wren|kodama|dragon|dodo|bluebird)       \
-                               return 0                        \
-                       ;;                                      \
-                       esac                                    \
-               fi                                              \
-               return 1                                        \
-       }                                                       \
-       mylaptop() {                                            \
-               test "$(hostname)" = kodama                     \
-       }                                                       \
-       kite() {                                                \
-               test "$(hostname)" = wren                       \
-       }
+lib =                                                                  \
+       wantsrc() {                                                     \
+               test "$(whoami)" = joey                                 \
+       }                                                               \
+       private() {                                                     \
+               if [ "$(whoami)" = joey ]; then                         \
+                       case "$(hostname)" in                           \
+                       wren|kodama|dragon|dodo|bluebird)               \
+                               return 0                                \
+                       ;;                                              \
+                       esac                                            \
+               fi                                                      \
+               return 1                                                \
+       }                                                               \
+       mylaptop() {                                                    \
+               test "$(hostname)" = kodama                             \
+       }                                                               \
+       kite() {                                                        \
+               test "$(hostname)" = wren                               \
+       }                                                               \
 
 [src/mr]
 checkout = git clone ssh://git.kitenet.net/srv/git/kitenet.net/mr
@@ -37,7 +39,8 @@ skip = ! wantsrc
 
 [src/linux-2.6]
 checkout = git clone git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux-2.6.git
-skip = ! mylaptop || ! wantsrc
+skip = ! mylaptop || ! wantsrc || \
+       ([ "$1" = update ] && [ $(hours_since "$1") -lt 12 ])
 
 [src/dpkg]
 # A merge of the upstream dpkg git repo and my own personal branch.
@@ -91,3 +94,7 @@ skip = ! private
 [doc]
 checkout = git clone ssh://git.kitenet.net/srv/git/kitenet.net/joey/private/doc
 skip = ! private
+
+[lib/text]
+checkout = git clone ssh://git.kitenet.net/srv/git/kitenet.net/joey/private/text
+skip = ! wantmedia