X-Git-Url: https://git.madduck.net/code/myrepos.git/blobdiff_plain/c934687bf61031c926d525f0149d4d4fe324269d..cae3ec686427c7bd28ee6dc8adce0a2449952eb4:/mrconfig diff --git a/mrconfig b/mrconfig index d93bac2..e38bd40 100644 --- a/mrconfig +++ b/mrconfig @@ -3,12 +3,16 @@ [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 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 +# 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 whethere I probably want various large media files +# - 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 @@ -77,22 +81,6 @@ update = echo "skipping cvs update (too slow)" status = echo "skipping cvs status (too ugly)" skip = ! mylaptop || ! wantsrc -[src/packages/uqm] -checkout = git clone ssh://git.kitenet.net/srv/git/kitenet.net/uqm -skip = ! wantsrc - -[src/packages/uqm-content] -checkout = git clone ssh://git.kitenet.net/srv/git/kitenet.net/uqm-content -skip = ! wantsrc - -[src/packages/uqm-voice] -checkout = git clone ssh://git.kitenet.net/srv/git/kitenet.net/uqm-voice -skip = ! wantsrc - -[src/packages/uqm-music] -checkout = git clone ssh://git.kitenet.net/srv/git/kitenet.net/uqm-music -skip = ! wantsrc - # My home directory, which I keep in svn. [] checkout = svn co svn+ssh://svn.kitenet.net/srv/svn/joey/trunk/home-$(hostname) joey @@ -103,10 +91,9 @@ update = svn update && svnfix checkout = git clone ssh://git.kitenet.net/srv/git/kitenet.net/joey/private/mail 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 +# Example of how to remember to delete a repo, when one mrconfig file is +# used on multiple systems. If you're feeling brave, use rm -rf $MR_REPO +# instead. This approach can also be used for renames. +[foo] +update = error "$MR_REPO is no longer used and should be deleted" +skip = ! test -d "$MR_REPO"