X-Git-Url: https://git.madduck.net/code/myrepos.git/blobdiff_plain/e9de7f196a3b998952e8f62acb04a18d9f087d8a..a992ce8dba8c624d6266cb29a59280895ba51947:/mrconfig?ds=inline

diff --git a/mrconfig b/mrconfig
index 38ccfbb..57868f4 100644
--- 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