update

[code/myrepos.git] / mrconfig

diff --git a/mrconfig b/mrconfig
index 02b78931157e05b79668f5c52296c0654424b477..b7394d46832e12054d73e9ddeb36ce970bc49943 100644 (file)
--- a/mrconfig
+++ b/mrconfig
@@ -1,22 +1,55 @@
 # An example config file for the mr(1) command.
 
 # An example config file for the mr(1) command.
 

+[DEFAULT]
+# Teach mr how to run svn cleanup.
+cleanup = if [ -d "$MR_REPO"/.svn ]; then svn cleanup ; fi
+# Tests used in the skips below.
+# - wantsrc checks whether I probably want a full source checkout (quite
+#   large)
+# - 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; \
+       }; \
+       mylaptop() { \
+               test "$(hostname)" = kodama; \
+       }; \
+       kite() { \
+               test "$(hostname)" = wren; \
+       }
+

 [src/mr]
 checkout = git clone ssh://kitenet.net/srv/git/kitenet.net/mr
 [src/mr]
 checkout = git clone ssh://kitenet.net/srv/git/kitenet.net/mr

+skip = ! wantsrc

 
 [src/linux-2.6]
 checkout = git clone git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux-2.6.git
 
 [src/linux-2.6]
 checkout = git clone git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux-2.6.git

-# I only check this out on kodama, otherwise skip it.
-skip = test $(hostname) != kodama
+skip = ! mylaptop || ! wantsrc

 
 [src/dpkg]
 # A merge of the upstream dpkg git repo and my own personal branch.
 
 [src/dpkg]
 # A merge of the upstream dpkg git repo and my own personal branch.

-checkout = git clone git://git.debian.org/git/dpkg/dpkg.git && \
+checkout = \
+       git clone git://git.debian.org/git/dpkg/dpkg.git && \

        cd dpkg && \
        git remote add kite ssh://kitenet.net/srv/git/kitenet.net/dpkg && \
        git fetch kite && \
        git checkout -b sourcev3 kite/sourcev3
 update = git pull origin master && git pull kite sourcev3
 commit = git push kite
        cd dpkg && \
        git remote add kite ssh://kitenet.net/srv/git/kitenet.net/dpkg && \
        git fetch kite && \
        git checkout -b sourcev3 kite/sourcev3
 update = git pull origin master && git pull kite sourcev3
 commit = git push kite

+skip = ! wantsrc
+
+[html/www.debian.org]
+# Still in CVS..urk!
+checkout = \
+       CVSROOT=:ext:joeyh@cvs.debian.org:/cvs/webwml \
+       cvs co -d www.debian.org webwml
+# cvs sucks sufficiently that I prefer to run these commands by hand,
+# and only rarely
+update = echo "skipping cvs update (too slow)"
+status = echo "skipping cvs status (too ugly)"
+skip = ! mylaptop || ! wantsrc

 
 # My home directory, which I keep in svn.
 []
 
 # My home directory, which I keep in svn.
 []