Re: No jigdo images yet?

[Dave Sherohman <dave@sherohman.org>]

On Mon, Jul 08, 2019 at 11:08:15AM +0200, Thomas Schmitt wrote:
> it is an old bug of jigdo-lite that it cannot download .jigdo and
> .template files via https:
>   https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=865864
> 
> So manually download the .template file too and then run jigdo-lite again.
> There is hope that the new system can install jigdo-lite without that bug.
> It might be interesting to learn whether this is really true.

Thanks.  Manually downloading the .template seems to have done the
trick.

I also tried manually applying the patch from that bug report, but it
doesn't seem to have helped, but we can still hope that the version that
made it into the 0.7.3-5 release actually works.

-- 
Dave Sherohman