[darcs-users] darcs dist: feature or a bug?

Gour gour at mail.inet.hr
Sun Mar 21 20:27:01 UTC 2004

David Roundy (droundy at abridgegame.org) wrote:

> It's a bug, but not one I've been able to reproduce.  Are you running a
> "latest darcs" or darcs 0.9.17? It sort of sounds like something I may have
> fixed, but I don't remember very clearly, so if the darcs that you're
> running the darcs dist with is version 0.9.17, I'd be interested in hearing
> the results when run with the latest darcs.

"Latest darcs."

> As a workaround, most likely you can fix the problem by deleting
> /tmp/darcs-0.9.17* before running darcs dist--but I'd rather first verify
> that the bug is fixed in the latest darcs.

After removing /tmp/darcs-0.9.17* it's OK.


gour at mail.inet.hr
Registered Linux User #278493

More information about the darcs-users mailing list