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

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 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