[pacman-dev] Per server options - Was: Add per-repo PinnedPubKey option

[Florian Pritz]

On 02.11.2016 02:31, Allan McRae wrote:
> On 02/11/16 09:56, Travis Burtrum wrote:
>> On November 1, 2016 7:28:07 PM EDT, Allan McRae <allan at archlinux.org> wrote:
>> Server = http://foo/ key=value key2=val2
>> 
> Any other opinions?

Sounds fine since spaces in the URL can/have to be escaped. I'm not so
sure about readability though.

How about adding support for this?

###
Server = http://foo/

[Server]
URL = http://bar/
SomeOption = value
Key2 = value2

Server = http://blub/
###

Obviously the old "Server = foo" syntax is a  shortcut for the full
section syntax.

This is somewhat weird though so it might make more sense to separate
the old style from the section-based ini style and let the user choose
how the mirror list is parsed in pacman.conf.

Just some ideas, not really fleshed out. Feel free to take them apart.

Florian

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 825 bytes
Desc: OpenPGP digital signature
URL: <https://lists.archlinux.org/pipermail/pacman-dev/attachments/20161102/de2e67f4/attachment.asc>