[darcs-users] separate default push and pull repos
Jamie Webb
j at jmawebb.cjb.net
Wed Nov 8 23:06:35 UTC 2006
On Wed, Nov 08, 2006 at 02:36:40PM -0800, Greg Fitzgerald wrote:
> Is there a way to set up a repository so that when I do this:
>
> darcs push myUnstableRepo
> darcs pull myStableRepo
>
> from then on all pushes go to myUnstableRepo and all pulls come from
> myStableRepo?
Not within Darcs AFAIK, but it's easy to work around (untested):
~/bin/darcs:
#!/bin/sh
if [ "`pwd`" = ~/myrepo ]; then
if [ "$1" = push -a $# -eq 1 ]; then
/usr/bin/darcs push myUnstableRepo
elif [ "$1" = pull -a $# -eq 1 ]; then
/usr/bin/darcs pull myStableRepo
else
/usr/bin/darcs "$@"
fi
else
/usr/bin/darcs "$@"
fi
-- Jamie Webb
More information about the darcs-users
mailing list