[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: [PATCH] manual: provide a download command



On Fri, Oct 13, 2017 at 10:38 AM, Ben Hildred <42656e@gmail.com> wrote:
>
>
> On Fri, Oct 13, 2017 at 10:25 AM, Michael Stapelberg <stapelberg@debian.org>
> wrote:
>>
>> Instead of sending the user away to figure out which of the many files
>> they need, why don’t we just provide the correct command right there,
>> right now?
>
> Great Idea.
>>
>>
>> Patch attached, please consider merging. Thank you.
>>
> Not such a great patch. Firstly although wget will work fine, since this is
> a html document it is probably being read in a browser which can just
> download the image by following the hyperlink, if it was a href. Second you
> hard linked stretch instead of stable. Third you hardcoded the architecture.
> And just to round things out this does not work with mirror choice (not as
> big of an issue).

Can you explain how to fix these issues please? I’m not familiar with
our tooling.

>
>>
>> PS: I was reading
>>
>> https://www.debian.org/releases/stable/amd64/ch04s03.html.en#usb-copy-isohybrid,
>> so I hope my patch changes the correct file.
>>
>> --
>> Best regards,
>> Michael
>
>
>
>
> --
> --
> Ben Hildred
> Automation Support Services
>



-- 
Best regards,
Michael


Reply to: