Re: Suggestion: add note about httpredir to debian.org/mirror/list
Michael Stapelberg <firstname.lastname@example.org> wrote:
> 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@example.com 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.
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/
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
+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
+to use the mirror redirector:
<p>The authoritative copy of the following list can always be found at: