[gentoo-dev] Package up for grabs: games-emulation/dolphin

2018-07-21 Thread Michał Górny
Hi, Due to its current maintainer being inactive for a long time, the following package is now up for grabs: games-emulation/dolphin This package has a number of bugs reported, and apparently doesn't even build [1]. [1]:https://bugs.gentoo.org/619068 -- Best regards, Michał Górny signature.

Re: [gentoo-dev] Adding USE=udev to linux profiles

2018-07-21 Thread Matt Turner
On Fri, Jul 20, 2018 at 7:13 AM, Michael Orlitzky wrote: > On 07/20/2018 03:37 AM, Matt Turner wrote: >>> >>> If I want to undo your new flag, I have to set USE="-udev" globally, and >>> that clobbers any important per-package defaults that maintainers have set. >> >> I understand the concern at l

Re: [gentoo-dev] Adding USE=udev to linux profiles

2018-07-21 Thread Dennis Schridde
On Saturday, 21 July 2018 11:33:23 CEST Zac Medico wrote: > On 07/21/2018 12:01 AM, Dennis Schridde wrote: > > On Friday, 20 July 2018 08:25:05 CEST Michael Orlitzky wrote: > >> Yes, when you set USE=foo in profile A and USE="-foo" in profile A/B, > >> the end result is USE="foo -foo" which is the

Re: [gentoo-dev] Adding USE=udev to linux profiles

2018-07-21 Thread Rich Freeman
On Sat, Jul 21, 2018 at 5:33 AM Zac Medico wrote: > > Sure, why not? So ^flag would mean that the flag state propagates from > the settings in IUSE. Presumably this could be overridden in subsequent profiles, or /etc/portage. That is, one profile might set a flag, and another profile could unset

[gentoo-dev] [PATCH v5-amendment] glep-0063: Require @gentoo.org UID on keys

2018-07-21 Thread Michał Górny
--- glep-0063.rst | 10 +++--- 1 file changed, 7 insertions(+), 3 deletions(-) One trivial change that I've missed during the original work. Since there's still week until the Council meeting and I don't think it's controversial, I'd like to add it to the batch of changes. diff --git a/glep

Re: [gentoo-dev] Adding USE=udev to linux profiles

2018-07-21 Thread Zac Medico
On 07/21/2018 12:01 AM, Dennis Schridde wrote: > On Friday, 20 July 2018 08:25:05 CEST Michael Orlitzky wrote: >> On 07/20/2018 02:12 AM, Mart Raudsepp wrote: >>> Ok, I can see that point of view for make.conf. >>> I can't agree with changes in other profiles though, as other profile >>> will fall

Re: [gentoo-dev] Adding USE=udev to linux profiles

2018-07-21 Thread Dennis Schridde
On Friday, 20 July 2018 08:25:05 CEST Michael Orlitzky wrote: > On 07/20/2018 02:12 AM, Mart Raudsepp wrote: > > Ok, I can see that point of view for make.conf. > > I can't agree with changes in other profiles though, as other profile > > will fall under the same category in USE_ORDER (in fact, it'