New submission from Lele Gaifax <[EMAIL PROTECTED]>: 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. ---------- messages: 649 nosy: anonymous, benjamin.franksen, droundy, lele, tommy status: unread title: Bug in 1.0.7 (release) ____________________________________ Darcs issue tracker <[EMAIL PROTECTED]> <http://bugs.darcs.net/issue169> ____________________________________ _______________________________________________ darcs-devel mailing list [email protected] http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
