[darcs-users] Bug in 1.0.7 (release)

[Lele Gaifax]

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.