From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 2F708139694 for ; Tue, 30 May 2017 21:14:03 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id D167221C092; Tue, 30 May 2017 21:13:54 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 830F121C07E for ; Tue, 30 May 2017 21:13:54 +0000 (UTC) Received: from katipo2.lan (unknown [203.86.205.69]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) (Authenticated sender: kentnl) by smtp.gentoo.org (Postfix) with ESMTPSA id 1F9D93416BF; Tue, 30 May 2017 21:13:52 +0000 (UTC) Date: Wed, 31 May 2017 09:13:26 +1200 From: Kent Fredric To: Ciaran McCreesh Cc: gentoo-dev@lists.gentoo.org Subject: Re: [gentoo-dev] [RFC] Forced/automatic USE flag constraints (codename: ENFORCED_USE) Message-ID: <20170531091326.3008cdbc@katipo2.lan> In-Reply-To: <20170530095607.1adbc0b8@snowblower> References: <1496071993.31087.1.camel@gentoo.org> <20170529200037.2559f80a@gentoo.org> <1496093035.12795.3.camel@gentoo.org> <20170530094245.40e1cf64@gentoo.org> <20170530092245.681d4aeb@snowblower> <20170530104654.31b89e10@gentoo.org> <20170530095607.1adbc0b8@snowblower> Organization: Gentoo X-Mailer: Claws Mail 3.15.0-dirty (GTK+ 2.24.31; x86_64-pc-linux-gnu) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-dev@lists.gentoo.org Reply-to: gentoo-dev@lists.gentoo.org MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; boundary="Sig_/GigxH2=Wvzb6eL3_UAdd1ad"; protocol="application/pgp-signature" X-Archives-Salt: dcfb4726-5482-40d1-9ed7-82258abd607b X-Archives-Hash: 751e6f54e123d15d22398c48f692eb42 --Sig_/GigxH2=Wvzb6eL3_UAdd1ad Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable On Tue, 30 May 2017 09:56:07 +0100 Ciaran McCreesh wrote: > First problem: encoding "don't change this from its current setting > unless you have a reason to do so" is an utter pain in SAT. I get the impression that this is harder to solve in Gentoo than it has to be, because my impression of portage config is that all sources of configuration are equal. Configuration in /etc/portage/* , /etc/portage/profile/*, /usr/portage/profile/* are taken like equals, and as far as I can tell, portage has no way of knowing if a use flag is disabled by user choice, or if the flag being disabled is simply the default. I think having a clear way to disambiguate between the two would give the resolver more freedom to adjust the settings that the user didn't specify as preferences, and try harder to conform to the users preferences....=20 Instead of the current approach, where you can either "Change nothing" or "change anything".=20 "Change nothing at first" -> "Change anything within this subset second" -> "Recommend changes in config if you can't solve within that constraint"=20 --Sig_/GigxH2=Wvzb6eL3_UAdd1ad Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEPZazbI/qrFT1o9rn6FQySxNmqCAFAlkt4IMACgkQ6FQySxNm qCACyg/5AZo+eERTSm1NT1Xg1gTIzMZOjyoamumVtwwNtFAylX5YCPYQfZm1w42r gxTD2M4eBzvwemjXnCvRWsamE3H05X4AwzNVfaiJJjfa4Q3ZYMpukkEEL+NcSttx YKbavdnVg6wlvgeIRKHmBJfiXdqtWWpZTitm9sIXFkudde09Kg9Ju42/PBEtHNn7 bjcoRzfr2etyOf+vQaTMiEHt7FTv3YUrbRsuWOLUkfthia9O3x9Bc8sLiw+XNRXl wWF3kCK61aiWC9P6zwQGvTVwemAU8fO8WyoIkTLtKGLH9gvD250SScYSEHdVfzGY xTZA+7i3vAJghrMY77Dqg1I9w2xBkPuC/yYElhIPQFXFWWXc0vQxoQ1e5MAfgCP/ OTFXeebau+faWnfa/cwG4D7MUoQD6ZFqrwU4K0nOjGgdNFNjdHQ7GKYy8bgmDems b9Y3hdVUCN271sFqkQhLHP2JxoMHo3EoJ8BzMjCi7l8piClmyLi3YMDJRUxpLLOQ JuG21B1dpDW+BREp3c73uxHx7UsvJEZi5ySJHzz6L9VJZhMQLt+5579Azg+wq25Q w4D+JHklx+R5zYHdJDI0tWA1vhmc/TIe0vEaEG1soW2DZqultBTc+3Svd9tSOufZ toZx/5xvNi6zzMpjX6xFDbHyiMultXkupAq8nw6SCVJLxqh7X88= =lqHr -----END PGP SIGNATURE----- --Sig_/GigxH2=Wvzb6eL3_UAdd1ad--