On Mon, Jan 06, 2014 at 04:09:01PM -0500, Alex Xu wrote: > > 1. New location: $PROFILEDIR/thirdpartymirrors/$MIRRORNAME > > 1.1. The name of the mirror is now the name of the file. > > 1.2. We can have a file extension of .mirrors if somebody would like > > that. > > 2. New format (for directory-mode): > > 2.1. Comments permitted, shell-style. > > 2.2. Blank lines ignored > > 2.3. One URL per line, optionally prefixed with "-" or "+" > > 2.4. For stack repos/overlays: > > 2.4.1. No prefix: replace all prior mirrors from masters with new URLS in > > this file. > > 2.4.2. "-" prefix: remove this URL from the list from masters. > > 2.4.2. "+" prefix: append this URL to the list from masters. > > So if *any* line doesn't have a prefix, then *everything* gets > overwritten? What about the prior mirrors listed in the file? > > There needs to be some mechanism for specifying this, but I don't think > this is it. > > Perhaps a header with a special line? Suggestions on the format then?
Maybe we have two modes: 1. No prefix, always append 2. Prefix required, one of '+', '-', ' '. I was also asked by a user to make it possible to adjust the priority of some mirror URLs, instead of only random choice. -- Robin Hugh Johnson Gentoo Linux: Developer, Infrastructure Lead E-Mail : robb...@gentoo.org GnuPG FP : 11ACBA4F 4778E3F6 E4EDF38E B27B944E 34884E85
