Hi,
i wrote:
> > us.cdimage.debian.org is a quick one.
Nicholas Geovanis wrote:
> From which location? Germany?
Ja.
How about this final message in case that files are missing and that
mismatching downloads were detected ?
(The mismatches shown are fake and recorded twice to get more than 2.)
On Fri, Dec 29, 2017 at 5:35 AM, Thomas Schmitt wrote:
> I wrote:
>> > > > sed -e 's/^[hH][tT][tT][pP]:\/\///' \
>> > > >... more -e for https, ftp, and file ...
>
> Philip Hands wrote:
>> > > sed -e 's,^\(https\?\|ftp\|file\)://,,i'
>> > > ...
>> > > "
Hi,
I wrote:
> > > > sed -e 's/^[hH][tT][tT][pP]:\/\///' \
> > > >... more -e for https, ftp, and file ...
Philip Hands wrote:
> > > sed -e 's,^\(https\?\|ftp\|file\)://,,i'
> > > ...
> > > "$imageTmp/${url#[[:alpha:]]*://}"
> > Are these widely porta
On Thu, 28 Dec 2017, "Thomas Schmitt" wrote:
> Hi,
>
> first a correction of my proposal:
>
> The else-case with
> echo "WARNING: File not found after download:" >&2
> is not good.
> It floods the log if one uses a mirror with few matching files.
> Not finding a file after the download is a
Hi,
first a correction of my proposal:
The else-case with
echo "WARNING: File not found after download:" >&2
is not good.
It floods the log if one uses a mirror with few matching files.
Not finding a file after the download is a normal situation.
---
On Thu, 28 Dec 2017, "Thomas Schmitt" wrote:
...
> Especially in need of attention:
>
> - I could not find a clear description how "wget" determines the local
> file paths from URLs and option --directory-prefix="$imageTmp".
> My current conversion from URL to path is purely heuristic therefor
Hi,
i Cc: debian-cd with this follow-up to bug 884526 in the hope to get
some review for the endeavor to detect damaged downloaded package files
during a run of jigdo-lite.
Some disputable aspects remain (plus a possible bug in current jigdo-lite,
which will vanish by my proposal). I put them beh
7 matches
Mail list logo