[darcs-users] get does not set default repo.
kgardas at objectsecurity.com
Fri Nov 19 17:24:30 UTC 2004
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.
Karel Gardas kgardas at objectsecurity.com
ObjectSecurity Ltd. http://www.objectsecurity.com
More information about the darcs-users