Re: Suggestion: add note about httpredir to debian.org/mirror/list
Holger Wansing <[email protected]>
| Newsgroups | gmane.linux.debian.devel.www |
|---|---|
| Message-ID | <[email protected]> |
Hi, Michael Stapelberg <[email protected]> wrote: > Hey, > > friends of mine were unaware that http://httpredir.debian.org/ exists and > pointed out that our official documentation doesn’t mention it. > > Specifically, they read https://www.debian.org/mirror/list and then > proceeded to hand-pick a mirror. > > I think it would be beneficial to our users if we added a note like the > following at the top of the page: > > """ > Use http://httpredir.debian.org/ to automatically get the best mirror based > on your geographic and network location. In case httpredir does not work > for you, please send a report to [email protected] and select a mirror > from the following list for the time being: > """ > > What do you think? Generally, I would consider that a good idea. On https://www.debian.org/mirror/ we already have such a paragraph, I would copy that one to ../mirror/list too, if no one objects. Diff is attached. Regards Holger -- ============================================================ Created with Sylpheed 3.5.0 under D E B I A N L I N U X 8 . 0 " J E S S I E " . Registered Linux User #311290 - https://linuxcounter.net/ ============================================================
httpredir.diff
(text/x-diff, 1.2 KB)
? .directory ? httpredir.diff Index: list.wml =================================================================== RCS file: /cvs/webwml/webwml/english/mirror/list.wml,v retrieving revision 1.9 diff -u -r1.9 list.wml --- list.wml 30 Apr 2014 09:22:48 -0000 1.9 +++ list.wml 25 Mar 2016 18:56:13 -0000 @@ -37,6 +37,23 @@ Note that geographic proximity often isn't the most important factor for determining which machine will serve you best.</p> +# Translators: paragraph copied from ../mirror/index.wml +<p> +If you don't know which mirror to use or your system moves around a lot, you +can use the <a href="http://httpredir.debian.org/">mirror redirector service</a> +in your apt sources.list. +It dynamically redirects package download requests to the best mirror +available based on a number of factors such as mirror availability, +location, architecture and freshness. +Use this address in your +<a href="http://manpages.debian.org/man/5/sources.list">sources.list</a> +to use the mirror redirector: +</p> + +<code> +http://httpredir.debian.org/debian +</code> + <p>The authoritative copy of the following list can always be found at: <url "https://www.debian.org/mirror/list">. <br />