]> git.madduck.net Git - code/myrepos.git/blob - mrconfig

madduck's git repository

Every one of the projects in this repository is available at the canonical URL git://git.madduck.net/madduck/pub/<projectpath> — see each project's metadata for the exact URL.

All patches and comments are welcome. Please squash your changes to logical commits before using git-format-patch and git-send-email to patches@git.madduck.net. If you'd read over the Git project's submission guidelines and adhered to them, I'd be especially grateful.

SSH access, as well as push access can be individually arranged.

If you use my repositories frequently, consider adding the following snippet to ~/.gitconfig and using the third clone URL listed for each project:

[url "git://git.madduck.net/madduck/"]
  insteadOf = madduck:

8e18756748f7f57cf0973cdd6cc58bcfdb911af1
[code/myrepos.git] / 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"