[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