Bug#483957: apt-setup: Display a link to the authoritive list of mirrors in sources.list
clone 483957 -1
reassign -1 apt
retitle -1 apt: Include link to authoritative list of mirrors in sources.list man page
On Sunday 01 June 2008, Simon Paillard wrote:
> In the case the mirror choosen by the user stops working, the user
> doesn't have any information about how to change it.
> A first answer to this problem should be adding such a line in the
> sources.list file generated by apt-setup during installation :
> # Reference list of Debian mirrors: http://www.debian.org/mirror/list
IMO that info belongs in the SOURCES.LIST(5) man page, not in the file
One reason is that including it the sources.list file would mean that
derived distributions would be stuck with documentation pointing to
Debian mirrors while they might have their own. Of course, they could
patch that, but avoiding distribution-specific information when possible
is generally considered desirable.
As the sources.list man page is rather Debian-specific already this is
less of an issue there. Therefore cloning to apt.
The most we could do in apt-setup is to include a reference to that manual
page in the generated sources.list file, but consulting manpages should
be the first step for finding info anyway, so that could be considered
redundant. How do others feel about this?