GNU logs - #74015, boring messages


Message sent to bug-guix@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#74015: 'guix shell --export-manifest' fails for some transformations
Resent-From: Simon Tournier <zimon.toutoune@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Fri, 25 Oct 2024 17:09:01 +0000
Resent-Message-ID: <handler.74015.B.172987614124971 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 74015
X-GNU-PR-Package: guix
X-GNU-PR-Keywords: 
To: 74015 <at> debbugs.gnu.org
X-Debbugs-Original-To: bug-guix@HIDDEN
Received: via spool by submit <at> debbugs.gnu.org id=B.172987614124971
          (code B ref -1); Fri, 25 Oct 2024 17:09:01 +0000
Received: (at submit) by debbugs.gnu.org; 25 Oct 2024 17:09:01 +0000
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>
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-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




Message sent:


Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Simon Tournier <zimon.toutoune@HIDDEN>
Subject: bug#74015: Acknowledgement ('guix shell --export-manifest' fails
 for some transformations)
Message-ID: <handler.74015.B.172987614124971.ack <at> debbugs.gnu.org>
References: <87a5eshzzy.fsf@HIDDEN>
X-Gnu-PR-Message: ack 74015
X-Gnu-PR-Package: guix
Reply-To: 74015 <at> debbugs.gnu.org
Date: Fri, 25 Oct 2024 17:09:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-guix@HIDDEN

If you wish to submit further information on this problem, please
send it to 74015 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
74015: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D74015
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems


Message sent to bug-guix@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#74015: 'guix shell --export-manifest' fails for some transformations
Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Sun, 10 Nov 2024 11:39:01 +0000
Resent-Message-ID: <handler.74015.B74015.173123874020852 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 74015
X-GNU-PR-Package: guix
X-GNU-PR-Keywords: 
To: Simon Tournier <zimon.toutoune@HIDDEN>
Cc: 74015 <at> debbugs.gnu.org
Received: via spool by 74015-submit <at> debbugs.gnu.org id=B74015.173123874020852
          (code B ref 74015); Sun, 10 Nov 2024 11:39:01 +0000
Received: (at 74015) by debbugs.gnu.org; 10 Nov 2024 11:39:00 +0000
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: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN>
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-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.




Message sent to bug-guix@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#74015: 'guix shell --export-manifest' fails for some transformations
Resent-From: Simon Tournier <zimon.toutoune@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Sun, 10 Nov 2024 13:31:02 +0000
Resent-Message-ID: <handler.74015.B74015.17312454067079 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 74015
X-GNU-PR-Package: guix
X-GNU-PR-Keywords: 
To: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN>
Cc: 74015 <at> debbugs.gnu.org
Received: via spool by 74015-submit <at> debbugs.gnu.org id=B74015.17312454067079
          (code B ref 74015); Sun, 10 Nov 2024 13:31:02 +0000
Received: (at 74015) by debbugs.gnu.org; 10 Nov 2024 13:30:06 +0000
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>
In-Reply-To: <87v7wvwc6t.fsf@HIDDEN> ("Ludovic =?UTF-8?Q?Court=C3=A8s?="'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-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




Message sent to bug-guix@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#74015: 'guix shell --export-manifest' fails for some transformations
Resent-From: Suhail Singh <suhailsingh247@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Tue, 12 Nov 2024 15:36:01 +0000
Resent-Message-ID: <handler.74015.B74015.173142571824065 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 74015
X-GNU-PR-Package: guix
X-GNU-PR-Keywords: 
To: Simon Tournier <zimon.toutoune@HIDDEN>
Cc: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN>, 74015 <at> debbugs.gnu.org
Received: via spool by 74015-submit <at> debbugs.gnu.org id=B74015.173142571824065
          (code B ref 74015); Tue, 12 Nov 2024 15:36:01 +0000
Received: (at 74015) by debbugs.gnu.org; 12 Nov 2024 15:35:18 +0000
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>
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-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




Message sent to bug-guix@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#74015: 'guix shell --export-manifest' fails for some transformations
Resent-From: Simon Tournier <zimon.toutoune@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Sat, 16 Nov 2024 10:59:02 +0000
Resent-Message-ID: <handler.74015.B74015.173175473716484 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 74015
X-GNU-PR-Package: guix
X-GNU-PR-Keywords: 
To: Suhail Singh <suhailsingh247@HIDDEN>
Cc: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN>, 74015 <at> debbugs.gnu.org
Received: via spool by 74015-submit <at> debbugs.gnu.org id=B74015.173175473716484
          (code B ref 74015); Sat, 16 Nov 2024 10:59:02 +0000
Received: (at 74015) by debbugs.gnu.org; 16 Nov 2024 10:58:57 +0000
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>
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-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




Message sent to bug-guix@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#74015: 'guix shell --export-manifest' fails for some transformations
Resent-From: Suhail Singh <suhailsingh247@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Sun, 17 Nov 2024 19:07:01 +0000
Resent-Message-ID: <handler.74015.B74015.17318704204612 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 74015
X-GNU-PR-Package: guix
X-GNU-PR-Keywords: 
To: Simon Tournier <zimon.toutoune@HIDDEN>
Cc: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN>, Suhail Singh <suhailsingh247@HIDDEN>, 74015 <at> debbugs.gnu.org
Received: via spool by 74015-submit <at> debbugs.gnu.org id=B74015.17318704204612
          (code B ref 74015); Sun, 17 Nov 2024 19:07:01 +0000
Received: (at 74015) by debbugs.gnu.org; 17 Nov 2024 19:07:00 +0000
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>
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-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




Message sent to bug-guix@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#74015: 'guix shell --export-manifest' fails for some transformations
Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Wed, 20 Nov 2024 10:30:02 +0000
Resent-Message-ID: <handler.74015.B74015.173209856117346 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 74015
X-GNU-PR-Package: guix
X-GNU-PR-Keywords: 
To: Simon Tournier <zimon.toutoune@HIDDEN>
Cc: 74015 <at> debbugs.gnu.org
Received: via spool by 74015-submit <at> debbugs.gnu.org id=B74015.173209856117346
          (code B ref 74015); Wed, 20 Nov 2024 10:30:02 +0000
Received: (at 74015) by debbugs.gnu.org; 20 Nov 2024 10:29:21 +0000
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: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN>
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,?= 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-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.





Last modified: Sun, 12 Jan 2025 05:45:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.