-[DEFAULT]
-# Teach mr how to run svn cleanup.
-cleanup = if [ -d "$MR_REPO"/.svn ]; then svn cleanup ; fi
-# And how to run git gc and push.
-gc = if [ -d "$MR_REPO"/.git ]; then git gc; fi
-push = if [ -d "$MR_REPO"/.git ]; then git push; fi
-# And how to list tags for git and svn.
-tag =
- if [ -d "$MR_REPO"/.svn ]; then
- git tag
- elsif [ -d "$MR_REPO"/.git ]; then
- url=$(LANG=C svn info . | grep -i ^URL: | cut -d ' ' -f 2)
- svn ls "$(echo '$url' | sed -e 's/trunk/tags/')"
- else
- error "unknown repo type"
- fi
-# This hack is here because git-pull stupidly outputs tag info to stderr.
-# Shut it up but let real errors through, for use in cron.
-quietupdate = mr -s -n update 3>&1 1>/dev/null 2>&3 | egrep -v '(storing tag|tag: )' || true
-# Tests used in the skips below.
-# - wantsrc checks whether I probably want a full source checkout (quite
-# large)
-# - wantmedia checks whether I probably want various large media files
-# here.
-# - private are hosts I trust private data to
-# - 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
- }
- wantmedia() {
- if [ "$(whoami)" = joey ]; then
- case "$(hostname)" in
- kodama|dragon|dodo)
- return 0
- ;;
- esac
- fi
- return 1
- }
- 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
- }