On Mon, Nov 23, 2015 at 12:15 AM, Elena Grandi wrote: > I believe that adding a short note near the top of the page pointing > those users to http://httpredir.debian.org/ (or giving concise > instructions on how to use it) would be helpful.
How about this text? I propose to insert it as the second paragraph. If you don't know which mirror to use or your system moves around a lot, you can use the mirror redirector service in your apt sources.list, which dynamically redirects package download requests to the best mirror available based on a number of factors such as location, architecture and mirror freshness. Use this address in your sources.list to use the mirror redirector: http://httpredir.debian.org/debian BTW Elena, I think the mirrors team could use some help if you are interested. -- bye, pabs https://wiki.debian.org/PaulWise
