Hi, Michael Stapelberg <stapelberg@debian.org> (2017-10-13): > Index: en/install-methods/boot-usb-files.xml > =================================================================== > --- en/install-methods/boot-usb-files.xml (revision 70855) > +++ en/install-methods/boot-usb-files.xml (working copy) > @@ -41,8 +41,12 @@ > Alternatively, > for very small USB sticks, only a few megabytes in size, you can download > the <filename>mini.iso</filename> image from the <filename>netboot</filename> > -directory (at the location mentioned in <xref linkend="where-files"/>). > +directory: > > +<informalexample><screen> > +<prompt>#</prompt> <userinput>wget http://deb.debian.org/debian/dists/stretch/main/installer-amd64/current/images/netboot/mini.iso</userinput> > +</screen></informalexample> > + Please don't encourage people to download installation images over HTTP, especially not when HTTPS is available… KiBi.
Attachment:
signature.asc
Description: PGP signature