Received: (at 74015) by debbugs.gnu.org; 20 Nov 2024 10:29:21 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Wed Nov 20 05:29:21 2024 Received: from localhost ([127.0.0.1]:45447 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1tDhxY-0004Vi-PM for submit <at> debbugs.gnu.org; Wed, 20 Nov 2024 05:29:21 -0500 Received: from eggs.gnu.org ([209.51.188.92]:36342) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <ludo@HIDDEN>) id 1tDhxW-0004VW-UU for 74015 <at> debbugs.gnu.org; Wed, 20 Nov 2024 05:29:19 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <ludo@HIDDEN>) id 1tDhxR-0003uK-N4; Wed, 20 Nov 2024 05:29:13 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=hW1GqXqj/CqXFETyqzOus2bLjIkpN/LZR2q71Fq0xws=; b=dZHarAqwEkVeFWNYSpmW VIHem8MzJLoMGB4f+F5GMOOIdzmF2q/tAymavh42Fm5QH9UCm1iUcvHu1HpKMli/aU92etBIDG9A6 4Rbivc3Uk36kZIdchmrhsnCPUrwLrCO7FoeglvRmQBwqyI7eA67CWQxfQh+1+4D3/ua654v3Kc6qQ BeyQi3OLnpXnpMIhLAEW1VLDjYPYFgePwqFvu7wT4pBSb9JlulI5QGTDDvxFcd3nwOW7EXy4WPCVC Mz6jjksOvbvDIPtl1cLnK7yPr+qh5fIFSXNN9PEOEkRe7CQ9a671R6GteH90AouGYW4TkPDz65lRq EzLsp7+JPpu6qQ==; From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludo@HIDDEN> To: Simon Tournier <zimon.toutoune@HIDDEN> Subject: Re: bug#74015: 'guix shell --export-manifest' fails for some transformations In-Reply-To: <87serzxmpj.fsf@HIDDEN> (Simon Tournier's message of "Sun, 10 Nov 2024 14:06:16 +0100") References: <87a5eshzzy.fsf@HIDDEN> <87v7wvwc6t.fsf@HIDDEN> <87serzxmpj.fsf@HIDDEN> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: =?utf-8?Q?D=C3=A9cadi?= 30 Brumaire an 233 de la =?utf-8?Q?R=C3=A9volution=2C?= jour du Rouleau X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Wed, 20 Nov 2024 11:29:11 +0100 Message-ID: <87ttc2yz9k.fsf@HIDDEN> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 74015 Cc: 74015 <at> debbugs.gnu.org X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -3.3 (---) Hi, Simon Tournier <zimon.toutoune@HIDDEN> skribis: > On Sun, 10 Nov 2024 at 12:38, Ludovic Court=C3=A8s <ludo@HIDDEN> wrote: > >>> $ guix shell -m manifest.scm --export-manifest >> >> =E2=80=98--export-manifest=E2=80=99 is meant to =E2=80=9Ctranslate=E2=80= =9D a command line, which it can >> do faithfully; there=E2=80=99s no way it could possibly =E2=80=9Crecreat= e=E2=80=9D what >> =E2=80=98manifest.scm=E2=80=99, which may contain arbitrary Scheme code = (and someone who >> already has a =E2=80=98manifest.scm=E2=80=99 file probably doesn=E2=80= =99t need >> =E2=80=98--export-manifest=E2=80=99). > > Yes, one might need. :-) > > As I explained: =C2=AB That=E2=80=99s annoying in some context as =E2=80= =9Cguix pack > --save-provenance=E2=80=9D [1]. Even, it defeats the idea of a self-cont= ained > reproducible binary container. =C2=BB I see, but if you have the source =E2=80=98manifest.scm=E2=80=99, best prac= tice is to publish it. >> It=E2=80=99s necessarily a lossy process. > > This is where I disagree. :-) You are free to disagree but it=E2=80=99s a fact. > I mean, yes I agree that building profile/manifest is somehow a lossy > process because some Scheme is potentially evaluated on the road. > However, I am proposing: Aside the profile =E2=80=99manifest=E2=80=99 fil= e (lossy > process), we could store all the manifests provided by the command > line. Something as: > > /gnu/store/xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-profile/manifest > /gnu/store/xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-profile/manifest.orig1 > /gnu/store/xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-profile/manifest.orig2 > =E2=80=A6 > > where manifest.orig1 and manifest.orig2 are the copy of files =E2=80=99fo= o.scm=E2=80=99 > and =E2=80=99bar.scm=E2=80=99 from: > > -m foo.scm -m bar.scm Hmm yes, maybe =E2=80=98guix pack -m manifest.scm --save-provenance=E2=80= =99 could arrange to put =E2=80=98manifest.scm=E2=80=99 inside the pack, similar to h= ow =E2=80=98guix system reconfigure=E2=80=99 inserts =E2=80=98configuration.scm=E2=80=99 ins= ide the system. I=E2=80=99m all for it! Thanks, Ludo=E2=80=99.
bug-guix@HIDDEN:bug#74015; Package guix.
Full text available.Received: (at 74015) by debbugs.gnu.org; 17 Nov 2024 19:07:00 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Nov 17 14:07:00 2024 Received: from localhost ([127.0.0.1]:58625 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1tCkbr-0001CK-PB for submit <at> debbugs.gnu.org; Sun, 17 Nov 2024 14:07:00 -0500 Received: from mail-qt1-f196.google.com ([209.85.160.196]:45170) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <suhailsingh247@HIDDEN>) id 1tCkbq-0001C6-3f for 74015 <at> debbugs.gnu.org; Sun, 17 Nov 2024 14:06:58 -0500 Received: by mail-qt1-f196.google.com with SMTP id d75a77b69052e-46096aadaf0so24025301cf.2 for <74015 <at> debbugs.gnu.org>; Sun, 17 Nov 2024 11:06:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1731870352; x=1732475152; darn=debbugs.gnu.org; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to; bh=Zag4eWIkdp+w1Dwsz9eLs9V99sXHpTZOxJzsuF8pIh0=; b=Zb8lm8qTxU5S/U79sdf2IB6KoJQsF5q7696tSQKOybccQ2d08Bym+Jh5RPUXe+zApX wI/KiLjaZZP0lzot7iXCbqhwHZxIUY2n4L9OD0U7wcTd8PkoiAsVdthH3UbJMA9b6Q9/ Jmouz3ZTqWvvQR2RvYkpcP+L298OGXN5aT9OpwNXTOtm8BKOksw26sZiJT3p8fBwEwCz wraBZr9Qiuk4SgJP2/q0+i0aXiGnK7SGLgBdgSIbe+8JYJbqlQxlM8yW2HYlrCzm2Wn0 i0DwfcPNtELTTFu+bsCRLqnXYvWOyL6P5RdVBxokQJtabdeiBUFAOg3O4Cb0ZVIIZmmq zSYA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1731870352; x=1732475152; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=Zag4eWIkdp+w1Dwsz9eLs9V99sXHpTZOxJzsuF8pIh0=; b=r42axmBeZvwp63rlDeFM4g6/rY6nDTfZh+TpHLb3bWQ0JtlZeiCYKCJK2pdhA+VDik ldxv+769cPqQ2IwBvIw5EXJrwmC5VWMiD0IYMJtqfsFI0Uxf/DUGXV9HYWtXVt/w/vwL Oza7Bid+CoLDKLlhJf978fboeJAU7OKcTHWArE2YHD7taPpp52MzfO2Cs3n52nKegFvE MK8VnsLClezxy/4OsF+8Wo5KgHHGpnHf3hoESXNmx/NpfVPIPFmT4T/FM8N9EhAPH0w1 Wct84qF/qn7q+xWpOvbXppKvhA8Pnb99XphYrn7B/gWA6gsFq02bCzv+jTVD176JCr5i joxg== X-Forwarded-Encrypted: i=1; AJvYcCVf91EH4Vj7Rz4SBIcMUFtG+IG0MVabpLShxj5ytCbRUYGJQD5EedIhrguCJetkdOmg1dK3OQ==@debbugs.gnu.org X-Gm-Message-State: AOJu0Yxl8tIKCC0nDubzrNxmYbmT1YHnERQMTfdJ/HBkBldIzSn7Vfjk bKadygx2xYsr1JQJadzVeGK+D2G7RPIe785eATb5XHNTEZw2BxLWNEWj+xgO X-Google-Smtp-Source: AGHT+IF1L3NTgZ1iGPp5KOF//i4zpOWOUr0chrycPtUVYTpMpRvwwbDR0HGmyWquUfG2vmaOg7UeKA== X-Received: by 2002:a05:622a:4e09:b0:461:263e:6939 with SMTP id d75a77b69052e-46363ec5b7fmr135195031cf.49.1731870351864; Sun, 17 Nov 2024 11:05:51 -0800 (PST) Received: from gnus ([70.26.179.129]) by smtp.gmail.com with ESMTPSA id d75a77b69052e-4635ab5d1f5sm47275231cf.74.2024.11.17.11.05.49 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 17 Nov 2024 11:05:50 -0800 (PST) From: Suhail Singh <suhailsingh247@HIDDEN> To: Simon Tournier <zimon.toutoune@HIDDEN> Subject: Re: bug#74015: 'guix shell --export-manifest' fails for some transformations In-Reply-To: <87jzd3bq5q.fsf@HIDDEN> (Simon Tournier's message of "Sat, 16 Nov 2024 08:20:49 +0100") References: <87a5eshzzy.fsf@HIDDEN> <87v7wvwc6t.fsf@HIDDEN> <87serzxmpj.fsf@HIDDEN> <87frnwmpp4.fsf@HIDDEN> <87jzd3bq5q.fsf@HIDDEN> Date: Sun, 17 Nov 2024 14:05:38 -0500 Message-ID: <87frnpd6kd.fsf@HIDDEN> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.3 (/) X-Debbugs-Envelope-To: 74015 Cc: Ludovic =?utf-8?Q?Court?= =?utf-8?Q?=C3=A8s?= <ludo@HIDDEN>, Suhail Singh <suhailsingh247@HIDDEN>, 74015 <at> debbugs.gnu.org X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -0.7 (/) Simon Tournier <zimon.toutoune@HIDDEN> writes: >> For --save-provenance, is your proposal that in addition to saving the >> additional manifests, the commandline that was used would also be saved? > > We could save the command line too using another file. :-) That would be helpful :) Given an image generated with --save-provenance enabled, making it easier for it to be reconstructed by another would certainly be useful. -- Suhail
bug-guix@HIDDEN:bug#74015; Package guix.
Full text available.Received: (at 74015) by debbugs.gnu.org; 16 Nov 2024 10:58:57 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sat Nov 16 05:58:56 2024 Received: from localhost ([127.0.0.1]:52231 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1tCGW0-0004Ho-Hs for submit <at> debbugs.gnu.org; Sat, 16 Nov 2024 05:58:56 -0500 Received: from mail-pl1-f171.google.com ([209.85.214.171]:43259) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <zimon.toutoune@HIDDEN>) id 1tCGVy-0004He-Sd for 74015 <at> debbugs.gnu.org; Sat, 16 Nov 2024 05:58:55 -0500 Received: by mail-pl1-f171.google.com with SMTP id d9443c01a7336-211c1bd70f6so20856045ad.0 for <74015 <at> debbugs.gnu.org>; Sat, 16 Nov 2024 02:58:54 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1731754674; x=1732359474; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=MbfYF9Q9MYotIiObJv7hkCoNXvXi+49gLGD9cQC6huE=; b=gPW0X6XLlo19fd7ya+3KSH/qESQX9UEpz3aUr1ViI4gGW5yKQC8ZCcsVNjwYIWpfLD ZtRtEFFuxhikjdQc7T1VXXkU43E3BvthIr8UroXEwkgjXlQxTNxuNrYRdIv/vCjggrHN /gPhVyJUtBCIs7PD9+xQrXW14DX49skHgfuITg1NAGQtdJvhX2U0oIRwSyinGnGCYKT7 J+V6Huj4aC7QmCiDkLefdhGn3fvNtJ+2JT5/6LlvMQlJ2zkYQ8aYviiSjasCzVPtAXCu aUprHZ5bvV2EGSwFD6kHjQkrT1k7n+Wesc9j8EQRzCvZV7t82fMJYauZ1CEjxbODTIeF PQmw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1731754674; x=1732359474; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=MbfYF9Q9MYotIiObJv7hkCoNXvXi+49gLGD9cQC6huE=; b=t4FLnW+3HqEvNG4s+MQ9b0czujJeiwbG+vVlro187qL2syz5RTOAXDAfdVIS+YtJCY hYNHNKO5oc+Ev2bbJErJxRR4VqVZbJlerP+1mNsiKxPHBEOQRLAWdokjLFEbGB3RPFHI KBH3NXCfPIGwx5nAjYhefZ0yEZCZAd+7tVdkNw3FrjlaBJoOnLMyLJ3Xza+QA6ablhlf aKak5HxvEt2CkusHI1eOmpwQUsOgxMecFnhMBazRTYGuJ1hEtDbuLkamapTRO4kUaSB2 RU7OKQNWw+dC04GHGVCqbhIj0bFLRJoaj7L1mTXPCV0kUnKObd+OpJhZT/rJAwZCrzqb 3p3A== X-Forwarded-Encrypted: i=1; AJvYcCWbhugWESRR2IVjU355VQqwwrGtyzvh7pmKRPTRJj8kUv7VTRyWwF78x2eI0YQNdwTFoLDmrg==@debbugs.gnu.org X-Gm-Message-State: AOJu0YyYaxRZAIYZb0hj3+0VJ1eExVb2e4XdpyHZzS7SMrEdEnWVMvzN f/mhjttqzdTYnHqN1qYOM3mtQt1jfeM3d3JvTyaXL3En0mrXNyzkskn2cg== X-Google-Smtp-Source: AGHT+IFQXnrYPoXxtDFIforauAHQX152LkHACGx9SN3ErmJFmmNC5rkEnC7+IgalxeazdFaEuJ1seQ== X-Received: by 2002:a17:903:1c3:b0:20b:a41f:6e4d with SMTP id d9443c01a7336-211d0713e52mr94570665ad.15.1731754674280; Sat, 16 Nov 2024 02:57:54 -0800 (PST) Received: from lili ([147.127.248.1]) by smtp.gmail.com with ESMTPSA id d9443c01a7336-211d0f3698esm25557705ad.130.2024.11.16.02.57.50 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 16 Nov 2024 02:57:53 -0800 (PST) From: Simon Tournier <zimon.toutoune@HIDDEN> To: Suhail Singh <suhailsingh247@HIDDEN> Subject: Re: bug#74015: 'guix shell --export-manifest' fails for some transformations In-Reply-To: <87frnwmpp4.fsf@HIDDEN> References: <87a5eshzzy.fsf@HIDDEN> <87v7wvwc6t.fsf@HIDDEN> <87serzxmpj.fsf@HIDDEN> <87frnwmpp4.fsf@HIDDEN> Date: Sat, 16 Nov 2024 08:20:49 +0100 Message-ID: <87jzd3bq5q.fsf@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.4 (/) X-Debbugs-Envelope-To: 74015 Cc: Ludovic =?utf-8?Q?Court=C3=A8s?= <ludo@HIDDEN>, 74015 <at> debbugs.gnu.org X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -0.6 (/) Hi, On Tue, 12 Nov 2024 at 10:33, Suhail Singh <suhailsingh247@HIDDEN> wrote: > Simon Tournier <zimon.toutoune@HIDDEN> writes: > >> However, I am proposing: Aside the profile =E2=80=99manifest=E2=80=99 fi= le (lossy >> process), we could store all the manifests provided by the command >> line. Something as: >> >> /gnu/store/xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-profile/manifest >> /gnu/store/xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-profile/manifest.orig1 >> /gnu/store/xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-profile/manifest.orig2 >> =E2=80=A6 >> >> where manifest.orig1 and manifest.orig2 are the copy of files =E2=80=99f= oo.scm=E2=80=99 >> and =E2=80=99bar.scm=E2=80=99 from: >> >> -m foo.scm -m bar.scm >> >> ... >> >> Well, maybe this extra work could be only done when there is an option >> =E2=80=99--save-provenance=E2=80=99 applied. > > For --save-provenance, is your proposal that in addition to saving the > additional manifests, the commandline that was used would also be saved? We could save the command line too using another file. :-) Cheers, simon
bug-guix@HIDDEN:bug#74015; Package guix.
Full text available.Received: (at 74015) by debbugs.gnu.org; 12 Nov 2024 15:35:18 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Tue Nov 12 10:35:18 2024 Received: from localhost ([127.0.0.1]:38931 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1tAsvF-0006G5-Oc for submit <at> debbugs.gnu.org; Tue, 12 Nov 2024 10:35:17 -0500 Received: from mail-qt1-f194.google.com ([209.85.160.194]:61788) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <suhailsingh247@HIDDEN>) id 1tAsvE-0006Fm-Dj for 74015 <at> debbugs.gnu.org; Tue, 12 Nov 2024 10:35:17 -0500 Received: by mail-qt1-f194.google.com with SMTP id d75a77b69052e-4609967ab7eso41434151cf.3 for <74015 <at> debbugs.gnu.org>; Tue, 12 Nov 2024 07:35:16 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1731425651; x=1732030451; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:user-agent:message-id:date :references:in-reply-to:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=gjSYFGmXrLeHUwvCCOLnSpnZusa+hFNhw0YdNXx7l2g=; b=LG4+zDUUjkDFTiJcy/321Rl5J4iwxEk8oo6t2+x4DKrfafwWWF3RoJqeFopJV371ik a80DMFNaZj+3JW2getBa1Y+2Tw53138KXVdcfhSb+gqH5eNEbe4CplIEz1zX9LRQfyXW Q9E3uTeSVgv0LT8wQ3/GgUmP8Cm8qlugfdp/ZwPfD5OdwOz4+C0zXhbV0JsTx0q1Ym+3 kixGvYRwpH8wx6L9W3FhuN2NNQBidxSQ3K1ilUjyGecEu8LZSQBgtV2Jlz7LwXG5dicl lyfnxqsoa71jX/obn42zA2So4jpwT8wxTqSYIRqO/7zG3LnNj2+d+Yen0swPtbmIPvRV K+6Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1731425651; x=1732030451; h=content-transfer-encoding:mime-version:user-agent:message-id:date :references:in-reply-to:subject:cc:to:from:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=gjSYFGmXrLeHUwvCCOLnSpnZusa+hFNhw0YdNXx7l2g=; b=t70rpopBIAPk6IC5EN58Ns5BpC/USh16DD1QKmtD59lEwEQu3OCwgEih8+JplMZDeT WQ7sW7k6N4hUwSRWeJCoEkZEm3si667ri1ELE4tCRAdi7YXEnvOYLjV+Ms0AMQ4y56+c 4Lg67UcZhgwjcvf3RgQR+VGIVsa6iLu72jkbfRpYOkoGpfjeagz1Y1he0aGTq5PuKwg9 iefliV9+3dC9h3CiP/7S6hYTfORtznn+nXHcY3oiP6taaEeDoMmO14liLC2+KbIYmZGE 7ZfCcvfyla+8KtEh9pkyPrm4RbvJaB6aSmmKsF/h86aijqwJ595a83w7GgX7QwhHwt+5 A/vw== X-Forwarded-Encrypted: i=1; AJvYcCWp5yq7aMxPKGZqfxkkVGQqlpcudzzQqxcgZ39Q7pzX8y/QF15tSUS0lb30HZFCBh6CEPbQhA==@debbugs.gnu.org X-Gm-Message-State: AOJu0YzkQo080jrROfcvbOHMUjXPZSb4qdNVXpbSxChx4AT5xzQHHpZy 1WoOuR32c1rINrS6cy/4C4rZkZYN3cOemN6nrifnPx/Un8/7tXH74ivhWGRE X-Google-Smtp-Source: AGHT+IFj11C4JTFxVLzrECXx3KMpZ37/OJYyvMrPkD2CggVlX672xh976lzU6WN2ohvIq62MLwyzMg== X-Received: by 2002:a05:622a:4d:b0:458:3032:f463 with SMTP id d75a77b69052e-4630942c5fdmr201236581cf.46.1731425650724; Tue, 12 Nov 2024 07:34:10 -0800 (PST) Received: from gnus ([70.26.179.129]) by smtp.gmail.com with ESMTPSA id d75a77b69052e-462ff5c8eb1sm75942491cf.77.2024.11.12.07.34.09 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 12 Nov 2024 07:34:09 -0800 (PST) From: Suhail Singh <suhailsingh247@HIDDEN> To: Simon Tournier <zimon.toutoune@HIDDEN> Subject: Re: bug#74015: 'guix shell --export-manifest' fails for some transformations In-Reply-To: <87serzxmpj.fsf@HIDDEN> (Simon Tournier's message of "Sun, 10 Nov 2024 14:06:16 +0100") References: <87a5eshzzy.fsf@HIDDEN> <87v7wvwc6t.fsf@HIDDEN> <87serzxmpj.fsf@HIDDEN> Date: Tue, 12 Nov 2024 10:33:59 -0500 Message-ID: <87frnwmpp4.fsf@HIDDEN> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.3 (/) X-Debbugs-Envelope-To: 74015 Cc: Ludovic =?utf-8?Q?Court=C3=A8s?= <ludo@HIDDEN>, 74015 <at> debbugs.gnu.org X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -0.7 (/) Simon Tournier <zimon.toutoune@HIDDEN> writes: > However, I am proposing: Aside the profile =E2=80=99manifest=E2=80=99 fil= e (lossy > process), we could store all the manifests provided by the command > line. Something as: > > /gnu/store/xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-profile/manifest > /gnu/store/xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-profile/manifest.orig1 > /gnu/store/xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-profile/manifest.orig2 > =E2=80=A6 > > where manifest.orig1 and manifest.orig2 are the copy of files =E2=80=99fo= o.scm=E2=80=99 > and =E2=80=99bar.scm=E2=80=99 from: > > -m foo.scm -m bar.scm > > ... > > Well, maybe this extra work could be only done when there is an option > =E2=80=99--save-provenance=E2=80=99 applied. For --save-provenance, is your proposal that in addition to saving the additional manifests, the commandline that was used would also be saved? --=20 Suhail
bug-guix@HIDDEN:bug#74015; Package guix.
Full text available.
Received: (at 74015) by debbugs.gnu.org; 10 Nov 2024 13:30:06 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Nov 10 08:30:06 2024
Received: from localhost ([127.0.0.1]:56140 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1tA810-0001px-8K
for submit <at> debbugs.gnu.org; Sun, 10 Nov 2024 08:30:06 -0500
Received: from mail-wm1-f52.google.com ([209.85.128.52]:59872)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <zimon.toutoune@HIDDEN>) id 1tA80x-0001nW-8y
for 74015 <at> debbugs.gnu.org; Sun, 10 Nov 2024 08:30:04 -0500
Received: by mail-wm1-f52.google.com with SMTP id
5b1f17b1804b1-431695fa98bso28129785e9.3
for <74015 <at> debbugs.gnu.org>; Sun, 10 Nov 2024 05:30:03 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1731245337; x=1731850137; darn=debbugs.gnu.org;
h=content-transfer-encoding:mime-version:user-agent:message-id:date
:references:in-reply-to:subject:cc:to:from:from:to:cc:subject:date
:message-id:reply-to;
bh=xxebYpjU8FbOxLyfgbwSN6UV69iWRLq02S5hF3ig6AY=;
b=ZsSNLWYlKTzRgxQaEKT2gIVoizDs8pY+TC3pPNcEwt6ENwWklN4WdxHZ0GuoG9uSa+
IAHHVMbdmZJFRVqTZ92bU6Hi6YflWU7cINCY38RbzCVILU6TANUX/SYJQL/LF6+WPyPf
kR5/iDjYS6URVIKHZ07PaqVBKRAn2MRHvIXlmPXurXvw7FAAy7D2JJGkTi3o4UpJBw2W
4BxmZEi+3DfcbHUj5ElIBBDfx6sB1I1Got2oAbyrTCbuxuzL4Y3D5FXmWgQWfczfDdHc
+4O5KfaH12/lkKl0G1qptIU153oMnssHtSKzP522U+2A5v/cJj6+J9Sd0/fDUm7vfoCy
9vmQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1731245337; x=1731850137;
h=content-transfer-encoding:mime-version:user-agent:message-id:date
:references:in-reply-to:subject:cc:to:from:x-gm-message-state:from
:to:cc:subject:date:message-id:reply-to;
bh=xxebYpjU8FbOxLyfgbwSN6UV69iWRLq02S5hF3ig6AY=;
b=XlWPp+OOzptNDkZQnh+1hIaz0EYYzp9hYNm5DOhO2ZrlMRFyn0lTI0sP1pdAomJPPB
aYtX2a2pZe+WVJPoBCrcbh1SpyeXgP+Gjp5zepIvTUkxGyhbPYY/8VBUIljpSHJZFhlu
X3XKNRl1YLn2AvW3uoIX+qZAn18wuy89G+fqfm03vHMZmzg0ZdZCN/vCV/OIk7GXSL8v
OkqyBevFyJuBeLMWMftzkuJeEQcalERXAIys2M1SPhM9ft+N/+cSa+81IeGYTQ4B9zmX
ZFrY11m54bHiJThiPmYzKMUwrqJexVGU/R0NQ2y7s85MYyXETrs9S2L+C6L5Ty+aAHZn
YR8g==
X-Gm-Message-State: AOJu0Yyx6GS8vLbJrT2ujMk4EXKvxdzlg/cj/pJTLTpS1/lDB9R5Y4tz
YtTYAm05f+nZ/B/gEGZ3C+GLMR80mj/t0foMtiJHB7jB7otVD8avHs2DNQ==
X-Google-Smtp-Source: AGHT+IFOtmGUk9NBL2NsXXyJpmfoaW8MtNeW5ELhGKlHoMV7HQUhUdetZAUhuAA2uDGlxjBDO+S3sQ==
X-Received: by 2002:a05:600c:3ca4:b0:42c:a6da:a149 with SMTP id
5b1f17b1804b1-432b751839dmr81620125e9.25.1731245337189;
Sun, 10 Nov 2024 05:28:57 -0800 (PST)
Received: from lili ([2a01:e0a:59b:9120:fea9:2cfd:bf40:8f0a])
by smtp.gmail.com with ESMTPSA id
5b1f17b1804b1-432aa74abb9sm182345415e9.42.2024.11.10.05.28.55
(version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
Sun, 10 Nov 2024 05:28:56 -0800 (PST)
From: Simon Tournier <zimon.toutoune@HIDDEN>
To: Ludovic =?utf-8?Q?Court=C3=A8s?= <ludo@HIDDEN>
Subject: Re: bug#74015: 'guix shell --export-manifest' fails for some
transformations
In-Reply-To: <87v7wvwc6t.fsf@HIDDEN> ("Ludovic =?utf-8?Q?Court=C3=A8s=22'?=
=?utf-8?Q?s?= message of "Sun, 10 Nov 2024 12:38:50 +0100")
References: <87a5eshzzy.fsf@HIDDEN> <87v7wvwc6t.fsf@HIDDEN>
Date: Sun, 10 Nov 2024 14:06:16 +0100
Message-ID: <87serzxmpj.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 74015
Cc: 74015 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)
Hi,
On Sun, 10 Nov 2024 at 12:38, Ludovic Court=C3=A8s <ludo@HIDDEN> wrote:
>> $ guix shell -m manifest.scm --export-manifest
>
> =E2=80=98--export-manifest=E2=80=99 is meant to =E2=80=9Ctranslate=E2=80=
=9D a command line, which it can
> do faithfully; there=E2=80=99s no way it could possibly =E2=80=9Crecreate=
=E2=80=9D what
> =E2=80=98manifest.scm=E2=80=99, which may contain arbitrary Scheme code (=
and someone who
> already has a =E2=80=98manifest.scm=E2=80=99 file probably doesn=E2=80=99=
t need
> =E2=80=98--export-manifest=E2=80=99).
Yes, one might need. :-)
As I explained: =C2=AB That=E2=80=99s annoying in some context as =E2=80=9C=
guix pack
--save-provenance=E2=80=9D [1]. Even, it defeats the idea of a self-contai=
ned
reproducible binary container. =C2=BB
For sure, I understand it=E2=80=99s hard to capture this kind of transforma=
tion.
Still, an improvement appears to me possible (see below).
1: https://hpc.guix.info/blog/2021/10/when-docker-images-become-fixed-point
> It=E2=80=99s necessarily a lossy process.
This is where I disagree. :-) I mean, yes I agree that building
profile/manifest is somehow a lossy process because some Scheme is
potentially evaluated on the road. However, I am proposing: Aside the
profile =E2=80=99manifest=E2=80=99 file (lossy process), we could store all=
the
manifests provided by the command line. Something as:
/gnu/store/xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-profile/manifest
/gnu/store/xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-profile/manifest.orig1
/gnu/store/xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-profile/manifest.orig2
=E2=80=A6
where manifest.orig1 and manifest.orig2 are the copy of files =E2=80=99foo.=
scm=E2=80=99
and =E2=80=99bar.scm=E2=80=99 from:
-m foo.scm -m bar.scm
This way, the option --export-manifest could be improved, eventually.
In other word, I think that saving as-is the manifests costs almost
nothing and it paves the way to more robust self-contained binary packs.
Well, maybe this extra work could be only done when there is an option
=E2=80=99--save-provenance=E2=80=99 applied.
> I would close it as not-a-bug; WDYT?
I still think it=E2=80=99s a feature that it=E2=80=99s possible to improve.
Cheers,
simon
bug-guix@HIDDEN:bug#74015; Package guix.
Full text available.Received: (at 74015) by debbugs.gnu.org; 10 Nov 2024 11:39:00 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Nov 10 06:38:59 2024 Received: from localhost ([127.0.0.1]:55962 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1tA6HT-0005QG-Ms for submit <at> debbugs.gnu.org; Sun, 10 Nov 2024 06:38:59 -0500 Received: from eggs.gnu.org ([209.51.188.92]:53418) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <ludo@HIDDEN>) id 1tA6HR-0005Q0-Ag for 74015 <at> debbugs.gnu.org; Sun, 10 Nov 2024 06:38:57 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <ludo@HIDDEN>) id 1tA6HM-0008QD-2x; Sun, 10 Nov 2024 06:38:52 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=su5QhR5S5iBW4j9SppC1QlftZo7Tq/8R7ayIwdjZEAg=; b=qR+161yh8Urga4sB6HXO /iAtaULRuheeDOoiPib0Nbpkuw+Mi15QhMGdFvR4W1YKyGWW7b7b9ZOqMwyUQd0Ztmdyq2GIiAz3u HWU2eY4ZxdJrn2jYiOxYPI4HA4PzEaKViHlII2CZsOOgVlIp0j2fiBIsvz4aBgfKr8IF28wEoBSOa 32/idN+TD2VsxxusfoxlQUerx07yNa7t+MdMGTIdzOwkYQa0dRRESByDcRsZBOSVf4g+Ro9LYl3RW XZNzinn7tZiRACI52HyeP7WwtjcnZ73xE27dPRUsojtmLCp+zGH5OjuiiV+zHD6SfelQYZwyh8Jab jzTJKjRQXHlFyQ==; From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludo@HIDDEN> To: Simon Tournier <zimon.toutoune@HIDDEN> Subject: Re: bug#74015: 'guix shell --export-manifest' fails for some transformations In-Reply-To: <87a5eshzzy.fsf@HIDDEN> (Simon Tournier's message of "Fri, 25 Oct 2024 19:08:17 +0200") References: <87a5eshzzy.fsf@HIDDEN> Date: Sun, 10 Nov 2024 12:38:50 +0100 Message-ID: <87v7wvwc6t.fsf@HIDDEN> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 74015 Cc: 74015 <at> debbugs.gnu.org X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -3.3 (---) Hi, Simon Tournier <zimon.toutoune@HIDDEN> skribis: > $ guix shell -m manifest.scm --export-manifest =E2=80=98--export-manifest=E2=80=99 is meant to =E2=80=9Ctranslate=E2=80=9D= a command line, which it can do faithfully; there=E2=80=99s no way it could possibly =E2=80=9Crecreate= =E2=80=9D what =E2=80=98manifest.scm=E2=80=99, which may contain arbitrary Scheme code (an= d someone who already has a =E2=80=98manifest.scm=E2=80=99 file probably doesn=E2=80=99t = need =E2=80=98--export-manifest=E2=80=99). It=E2=80=99s necessarily a lossy process. Some of the transformations =E2=80=98manifest.scm=E2=80=99 uses may be recorded as metadata in manifest= entries, but others, such as uses of =E2=80=98package-input-rewriting=E2=80=99 here, ine= vitably get lost. I would close it as not-a-bug; WDYT? Ludo=E2=80=99.
bug-guix@HIDDEN:bug#74015; Package guix.
Full text available.
Received: (at submit) by debbugs.gnu.org; 25 Oct 2024 17:09:01 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Oct 25 13:09:01 2024
Received: from localhost ([127.0.0.1]:39345 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1t4No4-0006Ud-LK
for submit <at> debbugs.gnu.org; Fri, 25 Oct 2024 13:09:01 -0400
Received: from lists.gnu.org ([209.51.188.17]:49170)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <zimon.toutoune@HIDDEN>) id 1t4No2-0006UU-2b
for submit <at> debbugs.gnu.org; Fri, 25 Oct 2024 13:08:58 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10])
by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.90_1) (envelope-from <zimon.toutoune@HIDDEN>)
id 1t4NnV-00082l-AG
for bug-guix@HIDDEN; Fri, 25 Oct 2024 13:08:25 -0400
Received: from mail-lf1-x136.google.com ([2a00:1450:4864:20::136])
by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
(Exim 4.90_1) (envelope-from <zimon.toutoune@HIDDEN>)
id 1t4NnT-0004dl-El
for bug-guix@HIDDEN; Fri, 25 Oct 2024 13:08:25 -0400
Received: by mail-lf1-x136.google.com with SMTP id
2adb3069b0e04-539f72c913aso3027092e87.1
for <bug-guix@HIDDEN>; Fri, 25 Oct 2024 10:08:22 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1729876101; x=1730480901; darn=gnu.org;
h=content-transfer-encoding:mime-version:message-id:date:subject:to
:from:from:to:cc:subject:date:message-id:reply-to;
bh=P8r5xhKHehc6INwDem+Vj263eY82eBp+M5B7rLMreis=;
b=E+5KTaDGRmn5RORSk2s/2rgBx0ZBkSrn2u/TLkUDIBXhPDvcjPT4FgNcRevZpISW65
gxc+BdeViMJLdjxQhxp0rP3ac0ilAWQW1wztsjK2zpLQp2I0MWssR03wV4TL5ERgPZe9
gw2BJPpWSSfmkx6wh+ovvqbZPKVBjrHghWpsTza3L//oUOYeJN3as0mM4KWUO0leUy58
+a4m3gnDctsIwk60ocxG+MDJrti7I29IMLtEZr32W6ivNQfO4XFCU3hKp8DLXfJ4HKwE
5yH4h5uocD9xiaTyYc+3fiYOIk6Nrz+2yccUgJzAhRwDq4FjQimRabOJE0Y7XBr83ETb
yWmQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1729876101; x=1730480901;
h=content-transfer-encoding:mime-version:message-id:date:subject:to
:from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to;
bh=P8r5xhKHehc6INwDem+Vj263eY82eBp+M5B7rLMreis=;
b=XBc53eWWFSnuNyElpqQHnw5qUkC2kU86+Nlc/NyiQFBzGw276SPLLJxCD3KZXAx3KJ
9QnUFs66wOfAf1u9zlMsqPcGapXGHkFFaWeEisjny0W5GSyd9hEB//TIkgixAJdSeTqT
NbnnQ9cYefVmuX/JCuApQpLM9Vv3MtjBbi8jtfGeoTNpTOzy/+1ruO7EAIjevE0HkW0B
t8Yeywnp3qQmiUpIX37yniuQO/ggwsx9eBFaWn3FkvngbY8B7WHD7iYKCGrv+2Jr2AXN
ck/t0TL9B9K8oFB1K6aaVByN+6J5GbuMAOrkvopcc7LGP/+5v7/qLaXK6ihnv1m5HTJg
gUAw==
X-Gm-Message-State: AOJu0YxB8hjOII4BcoT3tUgH4jIQju0ktv/6n3Tl6uPNF1PJW3GPWi0I
0CIsFjjXKsNA21OV5mS+Vwdj0gchbh8KtnENJgLO2K/fPyoaZgjmqeXUJg==
X-Google-Smtp-Source: AGHT+IFwe6mdkY1fHPu7jDDHXu/8zKzqCP9yrC0uGSFPjT/3Vrx4SQvrPJlvAOEv6QqDjDo1f5pySw==
X-Received: by 2002:a05:6512:1249:b0:539:e60a:6dd0 with SMTP id
2adb3069b0e04-53b23ea0162mr4148962e87.51.1729876100624;
Fri, 25 Oct 2024 10:08:20 -0700 (PDT)
Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id
5b1f17b1804b1-4318b5431c9sm53651905e9.0.2024.10.25.10.08.20
for <bug-guix@HIDDEN>
(version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
Fri, 25 Oct 2024 10:08:20 -0700 (PDT)
From: Simon Tournier <zimon.toutoune@HIDDEN>
To: bug-guix@HIDDEN
Subject: 'guix shell --export-manifest' fails for some transformations
Date: Fri, 25 Oct 2024 19:08:17 +0200
Message-ID: <87a5eshzzy.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Received-SPF: pass client-ip=2a00:1450:4864:20::136;
envelope-from=zimon.toutoune@HIDDEN; helo=mail-lf1-x136.google.com
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,
RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001,
SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -1.3 (-)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.3 (--)
Hi,
I notice this:
--8<---------------cut here---------------start------------->8---
$ cat manifest.scm
(use-modules (guix transformations) (guix packages)
(guix download) (guix build-system r))
(define r-knitr
(specification->package "r-knitr"))
(define r-knitr-other
(package
(inherit r-knitr)
(version "1.47")
(source (origin
(method url-fetch)
(uri (cran-uri "knitr" version))
(sha256
(base32
"1kx6g8ddbigwx3bmq771gwi3din3fxjn59l801904kjaz6dq9pgs"))))))
(define r-ggplot2
(package
(inherit
((package-input-rewriting `((,r-knitr . ,r-knitr-other)))
(specification->package "r-ggplot2")))
(name "my-ggplot")))
(define transform
(options->transformation
'((with-c-toolchain . "r-minimal=3Dgcc-toolchain@12")
(with-c-toolchain . "r=3Dgcc-toolchain@12"))))
(packages->manifest
(append
(map specification->package
(list "python" "python-numpy"))
(map transform
(list (specification->package "r")
r-ggplot2))))
$ guix shell -m manifest.scm --export-manifest
guix shell: warning: transformation 'with-c-toolchain' had no effect on my-=
ggplot@HIDDEN
;; What follows is a "manifest" equivalent to the command line you gave.
;; You can store it in a file that you may then pass to any 'guix' command
;; that accepts a '--manifest' (or '-m') option.
(use-modules (guix transformations))
(define transform1
(options->transformation
'((with-c-toolchain . "r-minimal=3Dgcc-toolchain@12")
(with-c-toolchain . "r=3Dgcc-toolchain@12"))))
(packages->manifest
(list (specification->package "python")
(specification->package "python-numpy")
(transform1 (specification->package "r"))
(transform1 (specification->package "my-ggplot"))))
--8<---------------cut here---------------end--------------->8---
Well, this is incorrect. While I understand the approximation when
dealing with profiles built over time in the imperative way, here I am
missing why the transformation of =E2=80=99r-ggplot2=E2=80=99 is skipped. =
And even the
export manifest is broken.
It=E2=80=99s skipped because:
--8<---------------cut here---------------start------------->8---
$ guix shell -m manifest.scm
$ grep ggplot $GUIX_ENVIRONMENT/manifest
("my-ggplot"
"/gnu/store/x0jbmvg0nbl7lyk8zd938rq2c7c9qkn4-my-ggplot-3.5.1"
--8<---------------cut here---------------end--------------->8---
Please note that if the symbol =E2=80=99r-ggplot2=E2=80=99 is not named =E2=
=80=9Cmy-ggplot=E2=80=9D but
kept as =E2=80=99r-ggplot2=E2=80=9C:
(define r-ggplot2
((package-input-rewriting `((,r-knitr . ,r-knitr-other)))
(specification->package "r-ggplot2")))
then the bug is maybe worse because the exported manifest =E2=80=9Cworks=E2=
=80=9D but
without the transformation=E2=80=A6 which can be misleading and hard to det=
ect.
Well, I understand it=E2=80=99s hard to capture this kind of transformation.
Still, it appears to me as an half-baked feature. :-)
That=E2=80=99s annoying in some context as =E2=80=9Cguix pack --save-proven=
ance=E2=80=9D [1].
Even, it defeats the idea of a self-contained reproducible binary
container. ;-)
Maybe, aside the profile =E2=80=99manifest=E2=80=99 file, we could store al=
l the
manifests provided by the command line. Something as:
/gnu/store/xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-profile/manifest
/gnu/store/xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-profile/manifest.orig1
/gnu/store/xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-profile/manifest.orig2
=E2=80=A6
where manifest.orig1 and manifest.orig2 are the copy of files =E2=80=99foo.=
scm=E2=80=99
and =E2=80=99bar.scm=E2=80=99 from:
-m foo.scm -m bar.scm
This way, the option --export-manifest could be improved.
WDYT?
Cheers,
simon
1: https://hpc.guix.info/blog/2021/10/when-docker-images-become-fixed-point
Simon Tournier <zimon.toutoune@HIDDEN>:bug-guix@HIDDEN.
Full text available.bug-guix@HIDDEN:bug#74015; Package guix.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.