[pacman-dev] Per server options - Was: Add per-repo PinnedPubKey option
bluewind at xinu.at
Wed Nov 2 10:57:07 UTC 2016
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/
URL = http://bar/
SomeOption = value
Key2 = value2
Server = http://blub/
Obviously the old "Server = foo" syntax is a shortcut for the full
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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 825 bytes
Desc: OpenPGP digital signature
More information about the pacman-dev