| 1 |
On Mon, Jan 6, 2014 at 2:20 PM, Robin H. Johnson <robbat2@g.o> wrote: |
| 2 |
|
| 3 |
> This is a small feature request, but it will require a modification to |
| 4 |
> PMS, so I describe it here. |
| 5 |
> |
| 6 |
> The present thirdpartymirrors file is unwieldy, and difficult to manage |
| 7 |
> due to it's format with very long lines. It also doesn't permit easy |
| 8 |
> comments. Presently commits to it look very ugly, because diffs are |
| 9 |
> line-based, and we pack a lot into each line. |
| 10 |
> |
| 11 |
> I would like to make it a directory instead of a single file, and extend |
| 12 |
> the internal syntax. |
| 13 |
> |
| 14 |
> I am very excited about this whole idea, this thirdpartymirrors setup |
| 15 |
badly needs some reworking. To me it makes the most sense to turn |
| 16 |
thirdpartymirrors into a dir, with a file structure like: |
| 17 |
|
| 18 |
thirdpartymirrors/mirror1 |
| 19 |
thirdpartymirrors/mirror2 |
| 20 |
thirdpartymirrors/mirror3/ |
| 21 |
thirdpartymirrors/mirror3/Asia |
| 22 |
thirdpartymirrors/mirror3/Europe |
| 23 |
thirdpartymirrors/mirror3/Etc |
| 24 |
thirdpartymirrors/mirror4 |
| 25 |
|
| 26 |
I'm not sure I see much real value in allowing individual profiles to |
| 27 |
add/remove mirrors from each group, to be honest. Maybe I'm just not |
| 28 |
thinking of the right scenarios. |
| 29 |
|
| 30 |
But I really do believe just the basic changes like splitting the file so |
| 31 |
each group gets its own file, one server per line, with comments, etc... |
| 32 |
will be a huge help in using and maintaining these groups. |
| 33 |
|
| 34 |
-Ben |
Archives