From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Subject: bug#38529: Make --pure the default for `guix environment'? Date: Tue, 10 Dec 2019 18:16:26 +0100 Message-ID: <87o8wgksnp.fsf@gnu.org> References: <87eexeu8mo.fsf@ambrevar.xyz> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:38865) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iej8B-0005aG-Qc for bug-guix@gnu.org; Tue, 10 Dec 2019 12:17:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iej8A-0000UD-Qz for bug-guix@gnu.org; Tue, 10 Dec 2019 12:17:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:50561) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iej8A-0000U8-NB for bug-guix@gnu.org; Tue, 10 Dec 2019 12:17:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iej8A-0001SZ-JN for bug-guix@gnu.org; Tue, 10 Dec 2019 12:17:02 -0500 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: (David Thompson's message of "Mon, 9 Dec 2019 13:46:20 -0500") List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: "Thompson, David" Cc: Pierre Neidhardt , 38529@debbugs.gnu.org Hello! "Thompson, David" skribis: > I have long thought that --ad-hoc should be implied, as that is the > mode I use 99% of the time, but I disagree that --pure should be the > default. I very much agree with that. I don=E2=80=99t think =E2=80=98--pure=E2=80= =99 should be the default, because there are valid use cases for that. As for =E2=80=98--ad-hoc=E2=80=99: making it the default is technically eas= y. The difficulty is to come up with a nice transition/deprecation mechanism so that we don=E2=80=99t break everyone=E2=80=99s script overnight. Ideas on how to achieve it are welcome! Thanks, Ludo=E2=80=99.