mrconfig

   1 # An example config file for the mr(1) command.
   2
   3 [DEFAULT]
   4 # Teach mr how to run svn cleanup.
   5 cleanup = if [ -d "$MR_REPO"/.svn ]; then svn cleanup ; fi
   6 # And how to run git gc and push.
   7 gc = if [ -d "$MR_REPO"/.git ]; then git gc; fi
   8 push = if [ -d "$MR_REPO"/.git ]; then git push; fi
   9 # Tests used in the skips below.
  10 # - wantsrc checks whether I probably want a full source checkout (quite
  11 #   large)
  12 # - wantmedia checks whether I probably want various large media files
  13 #   here.
  14 # - private are hosts I trust private data to
  15 # - mylaptop only succeeds if it's on my main development laptop, which
  16 #   gets lots of extra cruft
  17 # - kite only succeeds on kite
  18 lib =
  19         wantsrc() {
  20                 test "$(whoami)" = joey
  21         }
  22         wantmedia() {
  23                 if [ "$(whoami)" = joey ]; then
  24                         case "$(hostname)" in
  25                                 kodama|dragon|dodo)
  26                                         return 0
  27                         ;;
  28                         esac
  29                 fi
  30                 return 1
  31         }
  32         private() {
  33                 if [ "$(whoami)" = joey ]; then
  34                         case "$(hostname)" in
  35                         wren|kodama|dragon|dodo|bluebird)
  36                                 return 0
  37                         ;;
  38                         esac
  39                 fi
  40                 return 1
  41         }
  42         mylaptop() {
  43                 test "$(hostname)" = kodama
  44         }
  45         kite() {
  46                 test "$(hostname)" = wren
  47         }
  48
  49 [src/mr]
  50 checkout = git clone ssh://git.kitenet.net/srv/git/kitenet.net/mr
  51 skip = ! wantsrc
  52
  53 [src/linux-2.6]
  54 checkout = git clone git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux-2.6.git
  55 skip = ! mylaptop || ! wantsrc ||
  56         ([ "$1" = update ] && [ $(hours_since "$1") -lt 12 ])
  57
  58 [src/dpkg]
  59 # A merge of the upstream dpkg git repo and my own personal branch.
  60 checkout =
  61         git clone git://git.debian.org/git/dpkg/dpkg.git &&
  62         cd dpkg &&
  63         git remote add kite ssh://git.kitenet.net/srv/git/kitenet.net/dpkg &&
  64         git fetch kite &&
  65         git checkout -b sourcev3 kite/sourcev3
  66 update = git pull origin master && git pull kite sourcev3
  67 commit = git push kite
  68 skip = ! wantsrc
  69
  70 [html/www.debian.org]
  71 # Still in CVS..urk!
  72 checkout =
  73         CVSROOT=:ext:joeyh@cvs.debian.org:/cvs/webwml
  74         cvs co -d www.debian.org webwml
  75 # cvs sucks sufficiently that I prefer to run these commands by hand,
  76 # and only rarely
  77 update = echo "skipping cvs update (too slow)"
  78 status = echo "skipping cvs status (too ugly)"
  79 skip = ! mylaptop || ! wantsrc
  80
  81 # My home directory, which I keep in svn.
  82 []
  83 checkout = svn co svn+ssh://svn.kitenet.net/srv/svn/joey/trunk/home-$(hostname) joey
  84 # run svnfix after each update
  85 update = svn update && svnfix
  86
  87 [mail]
  88 checkout = git clone ssh://git.kitenet.net/srv/git/kitenet.net/joey/private/mail
  89 skip = ! private
  90
  91 # Example of how to remember to delete a repo, when one mrconfig file is
  92 # used on multiple systems. If you're feeling brave, use rm -rf $MR_REPO
  93 # instead. This approach can also be used for renames.
  94 [foo]
  95 update = error "$MR_REPO is no longer used and should be deleted"
  96 skip = ! test -d "$MR_REPO"