[darcs-users] Is it possible to restart an interrupted "darcs get" via HTTP?

[Tommy Pettersson]

On Fri, Dec 01, 2006 at 10:11:41PM +0900, Stephen J. Turnbull wrote:
> I see this is on the (obsolete) wish list, and "restart darcs get"
> gets no hits in the tracker, so I presume it's not possible yet, but I
> thought I'd ask.
> 
> Or is there any way to bootstrap a partial repo from the 3700 patches
> I've already downloaded? :-)

A complete Get can be substituted with a 'cp -a', so if you can
use ftp in resume mode, or rsync or http with resume (is there
such a thing?), or something, just to sync over the missing
files, you're home.

To "repair" the repo by hand could be hard. I've just been
reading the Get source (to find out what's happening to some
darcs-ssh dirs), and I think the situation would be something
like this: you have the inventory and some of the patches. This
is a problem, because the inventory is darcs' idea of what
patches it has, and whenever it can't find any of them in
_darcs/patches/ it aborts. So if you can hand-edit the inventory
and remove all missing patches from it, darcs might be able to
Repair the repo. But that only works if the patches were fetched
in order (I don't know if they are), so only the last patches
are missing, because if there is a "gap" of missing patches in
the inventory, all patches following the gap must be commuted
with those missing ones, which of course can't be done since
they are missing.


-- 
Tommy Pettersson <ptp at lysator.liu.se>