From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ricardo Wurmus Subject: bug#33285: Installing, then removing, a package yields a different profile Date: Wed, 06 Feb 2019 15:29:16 +0100 Message-ID: <871s4lgfcz.fsf@elephly.net> References: <8736seyb6d.fsf@gmail.com> <87r2fyz3ik.fsf@gnu.org> <87woppl5zy.fsf@gmail.com> <87sgx4wjlv.fsf@elephly.net> <877eefsa8n.fsf@gnu.org> <878sytawbl.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([209.51.188.92]:43495) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1grOEB-00036d-NC for bug-guix@gnu.org; Wed, 06 Feb 2019 09:31:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1grOEA-0000qF-OY for bug-guix@gnu.org; Wed, 06 Feb 2019 09:31:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:34910) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1grOEA-0000pP-L2 for bug-guix@gnu.org; Wed, 06 Feb 2019 09:31:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1grOEA-0006dY-GK for bug-guix@gnu.org; Wed, 06 Feb 2019 09:31:02 -0500 Sender: "Debbugs-submit" Resent-Message-ID: In-reply-to: <878sytawbl.fsf@gnu.org> 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: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 33285@debbugs.gnu.org Ludovic Court=C3=A8s writes: > Ludovic Court=C3=A8s skribis: > >> Actually, to do things correctly, we should really store the .drv in the >> =E2=80=98manifest=E2=80=99 file. That way, manifest entries would alway= s contains a >> valid =E2=80=9Clowerable=E2=80=9D object (a package or a derivation reco= rd), as opposed >> to a store reference that happens to be valid. > > On second thought that=E2=80=99s probably not a great idea: we=E2=80=99d = retain > references to the .drv themselves, which can end up taking a bit of > space, especially if --gc-keep-outputs is in use. > > So=E2=80=A6 the more I think about it the more I=E2=80=99m tempted to pun= t on this one. > > The discrepancy we see here does not happen when using --manifest, which > is probably what matters most. I think it=E2=80=99s fine to leave it as it is, then. =E2=80=9C--install= =E2=80=9D and =E2=80=9C--remove=E2=80=9D are stateful and should be expected to have quir= ks like this. (E.g. upgrading Guix in between two =E2=80=9C--install=E2=80=9Ds can lead to a mosaic of a profile that could not be produced any other way.) =E2=80=9C--manifest=E2=80=9D is the recommended way to get reproducible pro= file generations, so if that=E2=80=99s working fine I=E2=80=99m okay with closin= g this as wontfix. Chris, what do you think? Thanks for investigating! -- Ricardo