mrconfig.complex

   1 # An example config file for the mr(1) command.
   2 #
   3 # This is fairly close to the config file used by the author
   4 # although slightly cut down.
   5
   6 [DEFAULT]
   7 # Include all available libs.
   8 include = cat /usr/share/mr/* 2>/dev/null || true
   9 #include = cat $HOME/src/mr/mrconfig.git-fake-bare
  10 # Teach mr to run a few git and svn specific commands.
  11 svn_cleanup = svn cleanup "$@"
  12 git_gc = git gc "$@"
  13 git_push = git push "$@"
  14 git_tag = git tag -l
  15 svn_tag = svn ls "$(LANG=C svn info . | grep -i ^URL: | cut -d ' ' -f 2 | sed -e 's/trunk/tags/')"
  16 # This hack is here because git-pull stupidly outputs tag info to stderr.
  17 # Shut it up but let real errors through, for use in cron.
  18 quietupdate = mr -s -n update 3>&1 1>/dev/null 2>&3 | egrep -v '(storing tag|tag: )' || true
  19 # Tests used in the skips below.
  20 # - wantsrc checks whether I probably want a full source checkout (quite
  21 #   large)
  22 # - wantmedia checks whether I probably want various large media files
  23 #   here.
  24 # - private are hosts I trust private data to
  25 # - mylaptop only succeeds if it's on my main development laptop, which
  26 #   gets lots of extra cruft
  27 # - kite only succeeds on kite
  28 lib =
  29         wantsrc() {
  30                 test "$(whoami)" = joey
  31         }
  32         wantmedia() {
  33                 if [ "$(whoami)" = joey ]; then
  34                         case "$(hostname)" in
  35                                 kodama|dragon|dodo)
  36                                         return 0
  37                         ;;
  38                         esac
  39                 fi
  40                 return 1
  41         }
  42         private() {
  43                 if [ "$(whoami)" = joey ]; then
  44                         case "$(hostname)" in
  45                         wren|kodama|dragon|dodo|bluebird)
  46                                 return 0
  47                         ;;
  48                         esac
  49                 fi
  50                 return 1
  51         }
  52         mylaptop() {
  53                 test "$(hostname)" = kodama
  54         }
  55         kite() {
  56                 test "$(hostname)" = wren
  57         }
  58
  59 [src/mr]
  60 checkout = git clone ssh://git.kitenet.net/srv/git/kitenet.net/mr
  61 skip = ! wantsrc
  62
  63 [src/linux-2.6]
  64 checkout = git clone git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux-2.6.git
  65 skip = ! mylaptop || ! wantsrc ||
  66         ([ "$1" = update ] && ! hours_since "$1" 12)
  67
  68 [src/dpkg]
  69 # A merge of the upstream dpkg git repo and my own personal branch.
  70 checkout =
  71         git clone git://git.debian.org/git/dpkg/dpkg.git &&
  72         cd dpkg &&
  73         git remote add kite ssh://git.kitenet.net/srv/git/kitenet.net/dpkg &&
  74         git fetch kite &&
  75         git checkout -b sourcev3 kite/sourcev3
  76 update = git pull origin master && git pull kite sourcev3
  77 commit = git push kite
  78 skip = ! wantsrc
  79
  80 [html/www.debian.org]
  81 # Still in CVS..urk!
  82 checkout =
  83         CVSROOT=:ext:joeyh@cvs.debian.org:/cvs/webwml
  84         cvs co -d www.debian.org webwml
  85 # cvs sucks sufficiently that I prefer to run these commands by hand,
  86 # and only rarely
  87 update = echo "skipping cvs update (too slow)"
  88 status = echo "skipping cvs status (too ugly)"
  89 skip = ! mylaptop || ! wantsrc
  90
  91 # My home directory, which I keep in svn.
  92 []
  93 checkout = svn co svn+ssh://svn.kitenet.net/srv/svn/joey/trunk/home-$(hostname) joey
  94 # run svnfix after each update
  95 update = svn update && svnfix
  96
  97 [mail]
  98 checkout = git clone ssh://git.kitenet.net/srv/git/kitenet.net/joey/private/mail
  99 skip = ! private
 100
 101 # I don't keep my music in revision control, but mr can be taught to use
 102 # unison to synchronise it.
 103 [sound]
 104 checkout = unison -batch sound
 105 update = unison -batch sound
 106 commit = unison sound
 107 skip = ! wantmedia
 108 # Update this last of all.
 109 order = 100
 110
 111 # Example of how to remember to delete a repo, when one mrconfig file is
 112 # used on multiple systems. If you're feeling brave, use rm -rf $MR_REPO
 113 # instead. This approach can also be used for renames.
 114 [foo]
 115 update = error "$MR_REPO is no longer used and should be deleted"
 116 skip = ! test -d "$MR_REPO"