clone 483957 -1 reassign -1 apt retitle -1 apt: Include link to authoritative list of mirrors in sources.list man page thanks
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. 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? -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]