1 |
This is a small feature request, but it will require a modification to |
2 |
PMS, so I describe it here. |
3 |
|
4 |
The present thirdpartymirrors file is unwieldy, and difficult to manage |
5 |
due to it's format with very long lines. It also doesn't permit easy |
6 |
comments. Presently commits to it look very ugly, because diffs are |
7 |
line-based, and we pack a lot into each line. |
8 |
|
9 |
I would like to make it a directory instead of a single file, and extend |
10 |
the internal syntax. |
11 |
|
12 |
1. New location: $PROFILEDIR/thirdpartymirrors/$MIRRORNAME |
13 |
1.1. The name of the mirror is now the name of the file. |
14 |
1.2. We can have a file extension of .mirrors if somebody would like |
15 |
that. |
16 |
|
17 |
2. New format (for directory-mode): |
18 |
2.1. Comments permitted, shell-style. |
19 |
2.2. Blank lines ignored |
20 |
2.3. One URL per line, optionally prefixed with "-" or "+" |
21 |
2.4. For stack repos/overlays: |
22 |
2.4.1. No prefix: replace all prior mirrors from masters with new URLS in this file. |
23 |
2.4.2. "-" prefix: remove this URL from the list from masters. |
24 |
2.4.2. "+" prefix: append this URL to the list from masters. |
25 |
|
26 |
3. New format (for file-mode): |
27 |
3.1. This is for cases where thirdpartymirrors is still a file. |
28 |
3.2. The first token on a line remains the name of the mirror. |
29 |
3.3. Each subsequent token may be prefixed with "+" or "-", and impacts |
30 |
prior lines/masters. |
31 |
|
32 |
-- |
33 |
Robin Hugh Johnson |
34 |
Gentoo Linux: Developer, Infrastructure Lead |
35 |
E-Mail : robbat2@g.o |
36 |
GnuPG FP : 11ACBA4F 4778E3F6 E4EDF38E B27B944E 34884E85 |