[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
http://www.darcs.net




More information about the darcs-users mailing list