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