Re: Suggestion: add note about httpredir to debian.org/mirror/list
Hi,
Michael Stapelberg <stapelberg@debian.org> 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 mirrors@debian.org 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/
============================================================
? .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 />
Reply to: