[darcs-users] get does not set default repo.
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:
> darcs get $HOME/repo1 r2
> 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?
More information about the darcs-users