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

[Andrew Gregory]

On 11/02/16 at 11:57am, Florian Pritz via pacman-dev wrote:
> 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.

Based on your example, it looks like you're suggesting that we make
[Server] a sub-section for repos.  Aside from the fact that it would
add another reserved word that couldn't be used for a repo name,
I don't think the ini-style format we used is well-suited to handling
sub-sections.

apg