1 |
On 06/01/14 03:20 PM, Robin H. Johnson wrote: |
2 |
> This is a small feature request, but it will require a modification to |
3 |
> PMS, so I describe it here. |
4 |
> |
5 |
> The present thirdpartymirrors file is unwieldy, and difficult to manage |
6 |
> due to it's format with very long lines. It also doesn't permit easy |
7 |
> comments. Presently commits to it look very ugly, because diffs are |
8 |
> line-based, and we pack a lot into each line. |
9 |
> |
10 |
> I would like to make it a directory instead of a single file, and extend |
11 |
> the internal syntax. |
12 |
|
13 |
I like the idea, but I'm not too sure about the execution. |
14 |
|
15 |
> 1. New location: $PROFILEDIR/thirdpartymirrors/$MIRRORNAME |
16 |
> 1.1. The name of the mirror is now the name of the file. |
17 |
> 1.2. We can have a file extension of .mirrors if somebody would like |
18 |
> that. |
19 |
> 2. New format (for directory-mode): |
20 |
> 2.1. Comments permitted, shell-style. |
21 |
> 2.2. Blank lines ignored |
22 |
> 2.3. One URL per line, optionally prefixed with "-" or "+" |
23 |
> 2.4. For stack repos/overlays: |
24 |
> 2.4.1. No prefix: replace all prior mirrors from masters with new URLS in this file. |
25 |
> 2.4.2. "-" prefix: remove this URL from the list from masters. |
26 |
> 2.4.2. "+" prefix: append this URL to the list from masters. |
27 |
|
28 |
So if *any* line doesn't have a prefix, then *everything* gets |
29 |
overwritten? What about the prior mirrors listed in the file? |
30 |
|
31 |
There needs to be some mechanism for specifying this, but I don't think |
32 |
this is it. |
33 |
|
34 |
Perhaps a header with a special line? |
35 |
|
36 |
> 3. New format (for file-mode): |
37 |
> 3.1. This is for cases where thirdpartymirrors is still a file. |
38 |
> 3.2. The first token on a line remains the name of the mirror. |
39 |
> 3.3. Each subsequent token may be prefixed with "+" or "-", and impacts |
40 |
> prior lines/masters. |
41 |
> |