[darcs-users] get does not set default repo.

David Roundy droundy at abridgegame.org
Sun Nov 21 13:06:52 UTC 2004

On Fri, Nov 19, 2004 at 06:24:30PM +0100, Karel Gardas wrote:
> it seems that get is somewhat buggy and does not setup default parent
> repository in case it gets it from local filesystem:
> E.g.
> darcs get $HOME/repo1 r2
> or
> darcs get --set-default $HOME/repo1 r2
> does not set correct parent so later push/pull complains about not
> provided default repo.

Is $HOME/repo1 a symlink by any chance?
David Roundy

More information about the darcs-users mailing list