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
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
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.
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
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
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
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
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.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.