Benjamin Franksen wrote:
Hi,
this happened when I tried to pull on a repo that was never pulled
before, and also not created with 'darcs get':
aragon: .../BII-Controls/head > darcs pull
darcs: bug in darcs!
Impossible case at Pull.lhs:194 compiled 10:17:51 May 15 2006
A quick test reveals that this may be caused by the fact that darcs does
not know from where to pull patches:
$ cd /tmp
$ darcs get ~/wip/myproject
Copying patch 67 of 67... done!
Finished getting.
$ cd myproject
$ rm _darcs/prefs/defaultrepo
$ darcs pull
darcs: bug in darcs!
Impossible case at Pull.lhs:194 compiled 10:31:12 Apr 28 2006
$ darcs pull ~/wip/myproject
Pulling from "/home/lele/wip/myproject/"...
No remote changes to pull in!
$ darcs pull
Pulling from "/home/lele/wip/myproject/"...
No remote changes to pull in!
So, specifying the repository to the "pull" command once (or either with
"--set-default" or writing it in the _darcs/prefs/defaultrepo if you
have a system wide "--no-set-default" configuration) fixes the problem.
ciao, lele.
_______________________________________________
darcs-users mailing list
[email protected]
http://www.abridgegame.org/mailman/listinfo/darcs-users
