[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#483957: marked as done (apt-setup: Display a link to the authoritive list of mirrors in sources.list)

Your message dated Fri, 28 Feb 2014 22:13:51 +0100
with message-id <20140228211351.GA6255@mraw.org>
and subject line Re: Bug#483957: apt-setup: Display a link to the authoritive list of mirrors in sources.list
has caused the Debian Bug report #483957,
regarding apt-setup: Display a link to the authoritive list of mirrors in sources.list
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
483957: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=483957
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: apt-setup
Severity: wishlist

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


Best regards,

-- 
Simon Paillard
mirrors@debian.org

--- End Message ---
--- Begin Message --- 
Frans Pop <elendil@planet.nl> (2008-06-01):
> 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
> itself.
> 
> 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.

ACK; Simon, you may want to propose a patch there since it's still not
implemented.

> 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?

ACK as well, so closing the apt-setup bug report accordingly.

Mraw,
KiBi.

Attachment: signature.asc
Description: Digital signature


--- End Message ---
Reply to: