[pacman-dev] Per server options - Was: Add per-repo PinnedPubKey option
andrew.gregory.8 at gmail.com
Wed Nov 2 13:32:38 UTC 2016
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/
> 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
More information about the pacman-dev