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

Karel Gardas kgardas at objectsecurity.com
Fri Nov 19 17:24:30 UTC 2004


Hello,

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.

Cheers,
Karel
--
Karel Gardas                  kgardas at objectsecurity.com
ObjectSecurity Ltd.           http://www.objectsecurity.com





More information about the darcs-users mailing list