GNU logs - #79577, boring messages

Message sent to guix@HIDDEN, gabriel@HIDDEN, dev@HIDDEN, ludo@HIDDEN, othacehe@HIDDEN, maxim@HIDDEN, zimon.toutoune@HIDDEN, me@HIDDEN, guix-patches@HIDDEN:

Subject: [bug#79577] [PATCH] monad-repl: Add "build-options" command.
Resent-From: Tomas Volf <~@wolfsden.cz>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix@HIDDEN, gabriel@HIDDEN, dev@HIDDEN, ludo@HIDDEN, othacehe@HIDDEN, maxim@HIDDEN, zimon.toutoune@HIDDEN, me@HIDDEN, guix-patches@HIDDEN
Resent-Date: Sun, 05 Oct 2025 13:23:02 +0000
Resent-Message-ID: <handler.79577.B.175967053622990 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 79577 <at> debbugs.gnu.org
Cc: Tomas Volf <~@wolfsden.cz>, Christopher Baines <guix@HIDDEN>, Gabriel Wicki <gabriel@HIDDEN>, Josselin Poiret <dev@HIDDEN>, Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN>, Mathieu Othacehe <othacehe@HIDDEN>, Maxim Cournoyer <maxim@HIDDEN>, Simon Tournier <zimon.toutoune@HIDDEN>, Tobias Geerinckx-Rice <me@HIDDEN>
From: Tomas Volf <~@wolfsden.cz>
Date: Sun,  5 Oct 2025 15:19:43 +0200
Message-ID: <2e0138e328c5ea94cf90b8b7cd63ed8b30252012.1759670383.git.~@wolfsden.cz>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Received-SPF: pass client-ip=37.205.8.62; envelope-from=~@wolfsden.cz;
 helo=wolfsden.cz
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,
 RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001,
 SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 1.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: -0.0 (/)

There currently was no way to disable build offload for ,build from inside the
REPL.  Since offloaded builds sometimes do not error report entirely
correctly, it is useful to be able to switch to local builds.

This commit adds new ,build-options meta command, which allows to specify
build options, including #:offload?.

* guix/monad-repl.scm (%build-options): New variable.
(evaluate/print-with-store, package-argument-command): Use it.
(build-options): New meta command to set it.
* doc/guix.texi (Using Guix Interactively): Document it.
---
 doc/guix.texi       | 10 ++++++++++
 guix/monad-repl.scm | 35 +++++++++++++++++++++++++++--------
 2 files changed, 37 insertions(+), 8 deletions(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index 3fd2a13968..5c82445619 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -13204,6 +13204,16 @@ Using Guix Interactively
 output file name(s).
 @end deffn

+@deffn {REPL command} build-options @var{options}
+Set build options for rest of the REPL commands to @var{options}.  Must
+be a list of keywords with values accepted by procedure
+@code{(@@ (guix store) set-build-options)}.  An example would be:
+
+@example
+,build-options '(#:offload? #f)
+@end example
+@end deffn
+
 @deffn {REPL command} lower @var{object}
 Lower @var{object} into a derivation or store file name and return it.
 @end deffn
diff --git a/guix/monad-repl.scm b/guix/monad-repl.scm
index d6b39112b7..60bdd029f5 100644
--- a/guix/monad-repl.scm
+++ b/guix/monad-repl.scm
@@ -1,3 +1,5 @@
+;;; Copyright (C) 2024 Tomas Volf <~@wolfsden.cz>
+;;; SPDX-License-Identifier: AGPL-3.0-only
 ;;; GNU Guix --- Functional package management for GNU
 ;;; Copyright © 2014-2016, 2022-2023 Ludovic Courtès <ludo@HIDDEN>
 ;;;
@@ -81,13 +83,18 @@ (define %build-verbosity
   ;; Current build verbosity level.
   1)

+(define %build-options
+  ;; Additional build options.
+  '())
+
 (define* (evaluate/print-with-store mvalue #:key build?)
   "Run monadic value MVALUE in the store monad and print its value."
   (with-store store
-    (set-build-options store
-                       #:print-build-trace #t
-                       #:print-extended-build-trace? #t
-                       #:multiplexed-build-output? #t)
+    (apply set-build-options store
+           #:print-build-trace #t
+           #:print-extended-build-trace? #t
+           #:multiplexed-build-output? #t
+           %build-options)
     (with-status-verbosity %build-verbosity
       (let* ((guile  (or (%guile-for-build)
                          (default-guile-derivation store)))
@@ -130,6 +137,17 @@ (define-meta-command ((build guix) repl (form))
   (evaluate/print-with-store (lower-object (repl-eval repl form))
                              #:build? #t))

+(define-meta-command ((build-options guix) repl (opts))
+  "build-options OPTIONS
+Set build options to OPTIONS.  Print previous value (to allow easy restore).
+
+Must be a list of keywords with values accepted by procedure
+(@ (guix store) set-build-options).  An example would be:
+
+    ,build-options '(#:offload? #f)"
+  (repl-print repl %build-options)
+  (set! %build-options (repl-eval repl opts)))
+
 (define-meta-command ((enter-store-monad guix) repl)
   "enter-store-monad
 Enter a REPL for values in the store monad."
@@ -172,10 +190,11 @@ (define (package-argument-command repl form keyword default)
        (define phases
          (parameterize ((%graft? #f))
            (with-store store
-             (set-build-options store
-                                #:print-build-trace #t
-                                #:print-extended-build-trace? #t
-                                #:multiplexed-build-output? #t)
+             (apply set-build-options store
+                    #:print-build-trace #t
+                    #:print-extended-build-trace? #t
+                    #:multiplexed-build-output? #t
+                    %build-options)
              (run-with-store store
                (mlet %store-monad ((exp (bag->derivation bag*)))
                  (if (gexp? exp)
-- 
2.51.0

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: Tomas Volf <~@wolfsden.cz>
Subject: bug#79577: Acknowledgement ([PATCH] monad-repl: Add
 "build-options" command.)
Message-ID: <handler.79577.B.175967053622990.ack <at> debbugs.gnu.org>
References: <2e0138e328c5ea94cf90b8b7cd63ed8b30252012.1759670383.git.~@wolfsden.cz>
X-Gnu-PR-Message: ack 79577
X-Gnu-PR-Package: guix-patches
X-Gnu-PR-Keywords: patch
Reply-To: 79577 <at> debbugs.gnu.org
Date: Sun, 05 Oct 2025 13:23:03 +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.

As you requested using X-Debbugs-CC, your message was also forwarded to
  Christopher Baines <guix@HIDDEN>, Gabriel Wicki <gabriel@HIDDEN>=
, Josselin Poiret <dev@HIDDEN>, Ludovic Court=C3=A8s <ludo@HIDDEN>, M=
athieu Othacehe <othacehe@HIDDEN>, Maxim Cournoyer <maxim@HIDDEN>, =
Simon Tournier <zimon.toutoune@HIDDEN>, Tobias Geerinckx-Rice <me@tobias=
.gr>
(after having been given a bug report number, if it did not have one).

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

If you wish to submit further information on this problem, please
send it to 79577 <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
79577: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D79577
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to guix@HIDDEN, gabriel@HIDDEN, dev@HIDDEN, ludo@HIDDEN, othacehe@HIDDEN, maxim@HIDDEN, zimon.toutoune@HIDDEN, me@HIDDEN, guix-patches@HIDDEN:

Subject: [bug#79577] [PATCH v2] monad-repl: Add "build-options" command.
References: <2e0138e328c5ea94cf90b8b7cd63ed8b30252012.1759670383.git.~@wolfsden.cz>
In-Reply-To: <2e0138e328c5ea94cf90b8b7cd63ed8b30252012.1759670383.git.~@wolfsden.cz>
Resent-From: Tomas Volf <~@wolfsden.cz>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix@HIDDEN, gabriel@HIDDEN, dev@HIDDEN, ludo@HIDDEN, othacehe@HIDDEN, maxim@HIDDEN, zimon.toutoune@HIDDEN, me@HIDDEN, guix-patches@HIDDEN
Resent-Date: Sun, 05 Oct 2025 23:50:02 +0000
Resent-Message-ID: <handler.79577.B79577.1759708151702 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 79577 <at> debbugs.gnu.org
Cc: Tomas Volf <~@wolfsden.cz>, Christopher Baines <guix@HIDDEN>, Gabriel Wicki <gabriel@HIDDEN>, Josselin Poiret <dev@HIDDEN>, Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN>, Mathieu Othacehe <othacehe@HIDDEN>, Maxim Cournoyer <maxim@HIDDEN>, Simon Tournier <zimon.toutoune@HIDDEN>, Tobias Geerinckx-Rice <me@HIDDEN>
From: Tomas Volf <~@wolfsden.cz>
Date: Mon,  6 Oct 2025 01:49:00 +0200
Message-ID: <bea6a3bb1e829d7aeb8da9a9a5ccfe486d44bd0e.1759708140.git.~@wolfsden.cz>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

There currently was no way to disable build offload for ,build from inside the
REPL.  Since offloaded builds sometimes do not error report entirely
correctly, it is useful to be able to switch to local builds.

This commit adds new ,build-options meta command, which allows to specify
build options, including #:offload?.

* guix/monad-repl.scm (%build-options): New variable.
(evaluate/print-with-store, package-argument-command): Use it.
(build-options): New meta command to set it.
* doc/guix.texi (Using Guix Interactively): Document it.
---
 doc/guix.texi       | 10 ++++++++++
 guix/monad-repl.scm | 34 ++++++++++++++++++++++++++--------
 2 files changed, 36 insertions(+), 8 deletions(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index 3fd2a13968..5c82445619 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -13204,6 +13204,16 @@ Using Guix Interactively
 output file name(s).
 @end deffn

+@deffn {REPL command} build-options @var{options}
+Set build options for rest of the REPL commands to @var{options}.  Must
+be a list of keywords with values accepted by procedure
+@code{(@@ (guix store) set-build-options)}.  An example would be:
+
+@example
+,build-options '(#:offload? #f)
+@end example
+@end deffn
+
 @deffn {REPL command} lower @var{object}
 Lower @var{object} into a derivation or store file name and return it.
 @end deffn
diff --git a/guix/monad-repl.scm b/guix/monad-repl.scm
index d6b39112b7..db4fe3c699 100644
--- a/guix/monad-repl.scm
+++ b/guix/monad-repl.scm
@@ -1,5 +1,6 @@
 ;;; GNU Guix --- Functional package management for GNU
 ;;; Copyright © 2014-2016, 2022-2023 Ludovic Courtès <ludo@HIDDEN>
+;;; Copyright © 2025 Tomas Volf <~@wolfsden.cz>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -81,13 +82,18 @@ (define %build-verbosity
   ;; Current build verbosity level.
   1)

+(define %build-options
+  ;; Additional build options.
+  '())
+
 (define* (evaluate/print-with-store mvalue #:key build?)
   "Run monadic value MVALUE in the store monad and print its value."
   (with-store store
-    (set-build-options store
-                       #:print-build-trace #t
-                       #:print-extended-build-trace? #t
-                       #:multiplexed-build-output? #t)
+    (apply set-build-options store
+           #:print-build-trace #t
+           #:print-extended-build-trace? #t
+           #:multiplexed-build-output? #t
+           %build-options)
     (with-status-verbosity %build-verbosity
       (let* ((guile  (or (%guile-for-build)
                          (default-guile-derivation store)))
@@ -130,6 +136,17 @@ (define-meta-command ((build guix) repl (form))
   (evaluate/print-with-store (lower-object (repl-eval repl form))
                              #:build? #t))

+(define-meta-command ((build-options guix) repl (opts))
+  "build-options OPTIONS
+Set build options to OPTIONS.  Print previous value (to allow easy restore).
+
+Must be a list of keywords with values accepted by procedure
+(@ (guix store) set-build-options).  An example would be:
+
+    ,build-options '(#:offload? #f)"
+  (repl-print repl %build-options)
+  (set! %build-options (repl-eval repl opts)))
+
 (define-meta-command ((enter-store-monad guix) repl)
   "enter-store-monad
 Enter a REPL for values in the store monad."
@@ -172,10 +189,11 @@ (define (package-argument-command repl form keyword default)
        (define phases
          (parameterize ((%graft? #f))
            (with-store store
-             (set-build-options store
-                                #:print-build-trace #t
-                                #:print-extended-build-trace? #t
-                                #:multiplexed-build-output? #t)
+             (apply set-build-options store
+                    #:print-build-trace #t
+                    #:print-extended-build-trace? #t
+                    #:multiplexed-build-output? #t
+                    %build-options)
              (run-with-store store
                (mlet %store-monad ((exp (bag->derivation bag*)))
                  (if (gexp? exp)
-- 
2.51.0

Message sent to guix-patches@HIDDEN:

Subject: [bug#79577] [PATCH v2] monad-repl: Add "build-options" command.
Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Mon, 06 Oct 2025 09:09:02 +0000
Resent-Message-ID: <handler.79577.B79577.1759741685382 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Tomas Volf <~@wolfsden.cz>
Cc: Josselin Poiret <dev@HIDDEN>, Tobias Geerinckx-Rice <me@HIDDEN>, Maxim Cournoyer <maxim@HIDDEN>, Simon Tournier <zimon.toutoune@HIDDEN>, Mathieu Othacehe <othacehe@HIDDEN>, Gabriel Wicki <gabriel@HIDDEN>, Christopher Baines <guix@HIDDEN>, 79577 <at> debbugs.gnu.org
From: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN>
In-Reply-To: <bea6a3bb1e829d7aeb8da9a9a5ccfe486d44bd0e.1759708140.git.~@wolfsden.cz>
 (Tomas Volf's message of "Mon, 6 Oct 2025 01:49:00 +0200")
References: <2e0138e328c5ea94cf90b8b7cd63ed8b30252012.1759670383.git.~@wolfsden.cz>
 <bea6a3bb1e829d7aeb8da9a9a5ccfe486d44bd0e.1759708140.git.~@wolfsden.cz>
User-Agent: mu4e 1.12.11; emacs 30.2
Date: Mon, 06 Oct 2025 10:36:46 +0200
Message-ID: <87o6qkh1ep.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

Hi,

Tomas Volf <~@wolfsden.cz> writes:

> There currently was no way to disable build offload for ,build from inside the
> REPL.  Since offloaded builds sometimes do not error report entirely
> correctly, it is useful to be able to switch to local builds.
>
> This commit adds new ,build-options meta command, which allows to specify
> build options, including #:offload?.
>
> * guix/monad-repl.scm (%build-options): New variable.
> (evaluate/print-with-store, package-argument-command): Use it.
> (build-options): New meta command to set it.
> * doc/guix.texi (Using Guix Interactively): Document it.

Applied, thanks!

Message sent to guix-patches@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: [bug#79577] [PATCH v2] monad-repl: Add "build-options" command.
Resent-From: Maxim Cournoyer <maxim@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Tue, 07 Oct 2025 00:56:02 +0000
Resent-Message-ID: <handler.79577.B79577.175979855115123 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 79577
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN>
Cc: Josselin Poiret <dev@HIDDEN>, Tobias Geerinckx-Rice <me@HIDDEN>, Simon Tournier <zimon.toutoune@HIDDEN>, Mathieu Othacehe <othacehe@HIDDEN>, Tomas Volf <~@wolfsden.cz>, Gabriel Wicki <gabriel@HIDDEN>, Christopher Baines <guix@HIDDEN>, 79577 <at> debbugs.gnu.org
Received: via spool by 79577-submit <at> debbugs.gnu.org id=B79577.175979855115123
          (code B ref 79577); Tue, 07 Oct 2025 00:56:02 +0000
Received: (at 79577) by debbugs.gnu.org; 7 Oct 2025 00:55:51 +0000
Received: from localhost ([127.0.0.1]:55641 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1v5vzb-0003vp-HZ
	for submit <at> debbugs.gnu.org; Mon, 06 Oct 2025 20:55:51 -0400
Received: from mailtransmit04.runbox.com ([2a0c:5a00:149::25]:58158)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.84_2) (envelope-from <maxim@HIDDEN>)
 id 1v5vzY-0003v0-1R
 for 79577 <at> debbugs.gnu.org; Mon, 06 Oct 2025 20:55:49 -0400
Received: from mailtransmit03.runbox ([10.9.9.163] helo=aibo.runbox.com)
 by mailtransmit04.runbox.com with esmtps (TLS1.2) tls
 TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.93)
 (envelope-from <maxim@HIDDEN>)
 id 1v5vzM-00G8lv-6B; Tue, 07 Oct 2025 02:55:36 +0200
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed;
 d=guixotic.coop; s=selector2; h=Content-Transfer-Encoding:Content-Type:
 MIME-Version:Message-ID:Date:References:In-Reply-To:Subject:Cc:To:From;
 bh=DMRO7d8L1j8aHDLUjVtWGKNyxGBWi9pfhZlVXMW/Gsg=; b=T99KRdWxeCynqm77nXOb8lnxUu
 iqtyCco4V8XFYlBnBSXkb3HjmDTHI1kuW4qpdQuuPS4re0PViYyxDV6GYiSMyjEkls1IW6G9ZhW85
 6vZhHKJvSloeXolAZB3IbTBLZHpjYqVLwsoMooNnzSTCVUrclyTTyYr+sjUpztaipuCwU25KavfJH
 RjinfKimWkuzVjir8K8dlxey951ZMqJxUMYE86YsCHpmsLxcFlykMdtzlLiV2+m4K14a/51F/AzQP
 Vb7OhNLfU+mOs7baKg7rq1dnWz70RzBIBY23O5aqLYwWGuHNzoTzbDhvmhd0rav/99+gtllFthzu/
 GygD9cSg==;
Received: from [10.9.9.74] (helo=submission03.runbox)
 by mailtransmit03.runbox with esmtp (Exim 4.86_2)
 (envelope-from <maxim@HIDDEN>)
 id 1v5vzL-00070a-1Y; Tue, 07 Oct 2025 02:55:35 +0200
Received: by submission03.runbox with esmtpsa [Authenticated ID (1476852)]
 (TLS1.2:ECDHE_SECP256R1__RSA_SHA256__AES_256_GCM:256) (Exim 4.93)
 id 1v5vz4-00DsDV-Em; Tue, 07 Oct 2025 02:55:19 +0200
From: Maxim Cournoyer <maxim@HIDDEN>
In-Reply-To: <87o6qkh1ep.fsf@HIDDEN> ("Ludovic =?UTF-8?Q?Court=C3=A8s?="'s message of "Mon, 06 Oct 2025 10:36:46 +0200")
Organization: Guixotic
References: <2e0138e328c5ea94cf90b8b7cd63ed8b30252012.1759670383.git.~@wolfsden.cz>
 <bea6a3bb1e829d7aeb8da9a9a5ccfe486d44bd0e.1759708140.git.~@wolfsden.cz>
 <87o6qkh1ep.fsf@HIDDEN>
Date: Tue, 07 Oct 2025 09:55:12 +0900
Message-ID: <877bx7il8v.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.7 (/)
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.7 (-)

Hi,

Ludovic Court=C3=A8s <ludo@HIDDEN> writes:

> Hi,
>
> Tomas Volf <~@wolfsden.cz> writes:
>
>> There currently was no way to disable build offload for ,build from insi=
de the
>> REPL.  Since offloaded builds sometimes do not error report entirely
>> correctly, it is useful to be able to switch to local builds.
>>
>> This commit adds new ,build-options meta command, which allows to specify
>> build options, including #:offload?.
>>
>> * guix/monad-repl.scm (%build-options): New variable.
>> (evaluate/print-with-store, package-argument-command): Use it.
>> (build-options): New meta command to set it.
>> * doc/guix.texi (Using Guix Interactively): Document it.

Would there be a way to set these options to a default of my choosing?
I want to see the build log most of the time, when hacking on a package,
for example.

Or perhaps the verbosity should be set higher by default for this, as
it's meant for interactive usage?

--=20
Thanks,
Maxim

Message sent to guix-patches@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: [bug#79577] [PATCH v2] monad-repl: Add "build-options" command.
Resent-From: Tomas Volf <~@wolfsden.cz>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Tue, 07 Oct 2025 09:48:02 +0000
Resent-Message-ID: <handler.79577.B79577.17598304557662 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 79577
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: Maxim Cournoyer <maxim@HIDDEN>
Cc: Josselin Poiret <dev@HIDDEN>, Tobias Geerinckx-Rice <me@HIDDEN>, Simon Tournier <zimon.toutoune@HIDDEN>, Mathieu Othacehe <othacehe@HIDDEN>, Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN>, Gabriel Wicki <gabriel@HIDDEN>, Christopher Baines <guix@HIDDEN>, 79577 <at> debbugs.gnu.org
Received: via spool by 79577-submit <at> debbugs.gnu.org id=B79577.17598304557662
          (code B ref 79577); Tue, 07 Oct 2025 09:48:02 +0000
Received: (at 79577) by debbugs.gnu.org; 7 Oct 2025 09:47:35 +0000
Received: from localhost ([127.0.0.1]:56748 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1v64IB-0001zV-AN
	for submit <at> debbugs.gnu.org; Tue, 07 Oct 2025 05:47:35 -0400
Received: from wolfsden.cz ([37.205.8.62]:46522)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.84_2) (envelope-from <~@wolfsden.cz>) id 1v64I7-0001zL-NL
 for 79577 <at> debbugs.gnu.org; Tue, 07 Oct 2025 05:47:33 -0400
Received: by wolfsden.cz (Postfix, from userid 104)
 id C3B0433B9C6; Tue,  7 Oct 2025 09:47:29 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail;
 t=1759830449; bh=dDxxZCpDPZ6GhA4NBBcSD1hBdDPEGrLtcAsP0dRr2no=;
 h=From:To:Cc:Subject:In-Reply-To:References:Date;
 b=ZhBTKVjADAvlZiRt89fZ4jCvLuUO6NbmWMBHOCRRBjW5qohuezWqJ/dHYwxIE1QeO
 HfP6zfnTmSP1bL4ai6ANeD6/nlMAAC44dFGpezQbpcN5KEsoBpEWh0oJrCgYDvmFeN
 P0CmiXWurSiQqUEsPxdBYxxkLoM+ye6QYwN0NsUMFJyEXXIhWu7MurnAHVwGL78VsC
 /RmXWBYH8buUc4fZzk46ldGCHOFzOBp7WJTOTmC8bGJQiRxYgI2OZKuBLVMsXEq4qo
 kKadL9k48HnvZ4KsHafo1smy5DbHR3rq3fBM1USdkXvKvZV/5/UB3zbDC2e48xsWgF
 QgRIvP/kzDk6Y9LqBCgs0V7CmCHjn9Mk4UaiKNj/kV1KcjUt30jlSaetMnQAnuuEYY
 ELlTul0sWHYLb6pAct//uzywog2WjQdAJsDFyp+VWhcLgtCrt3QXZ9ss7jI/xdzXrC
 0FfuEN0n3hSRAM0J0xfcK2S7KQxb+Scep+QZ9g6rbmClADyc8+PnhqptswnwcWQjMO
 yAa2ZjHFhCqk9cn7fkmRikcBFiG669YpijlzEWgfKzw+vLI9M7+3qS5Qe7yxTTN3vs
 JfiBk7fsGqeKd3QczjWyXKIowb0qwY5/rHA4hzQO2WKVaFASFluGrsXW6KAfltn/NY
 TSZOKVh/abC060gNqJ6vVFno=
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on wolfsden
X-Spam-Level: 
X-Spam-Status: No, score=-3.1 required=5.0 tests=ALL_TRUSTED,BAYES_00,
 DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,URIBL_BLOCKED
 autolearn=unavailable autolearn_force=no version=3.4.6
Received: from localhost (unknown [128.0.188.242])
 by wolfsden.cz (Postfix) with ESMTPSA id 7169C33A0D1;
 Tue,  7 Oct 2025 09:47:28 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail;
 t=1759830448; bh=dDxxZCpDPZ6GhA4NBBcSD1hBdDPEGrLtcAsP0dRr2no=;
 h=From:To:Cc:Subject:In-Reply-To:References:Date;
 b=SiO54G9zyJm1nPoP4CVpscMPJuLSHLwHKPlKV0lSRVrz7CdVmVy/1sB7xAc1+tnkl
 8/8j84eU1xE1vVc9rBE3OQNQnFo1147fh3MW5MbkfVJnpK7HCdwNC33gUtvPdLlh+o
 N8uwqXBxO/dilcIn784LmAR7f9+s/6LNn+eixH+n7m1OdG9wWuwgdmUmaUl33fy2+H
 YRCANVS3aLlVLBf/skNiCJ7QW+kzrMiiQaMPa2BWA9QmXnFuzfbb50z2voXu7w89nX
 5BPucaqkdmTdTvEKM8iHqUNrxfgrF9rOIFeic97ExHnu/VPBTGe9pppaka8XSjJ9oi
 DO50BGhZvmJFEQjXq/slccWx/kdRC8P9vCD8B18PK0Auu97vXD6LgQSsjzpzQ1yoh7
 ctPkIJcJ/gacIgnVf9WtsC8YmHw0B3mHvwEquqphsKamcFp4iSASvnN/Q6VQRRz0SJ
 MYWQYZKBgYoTOmupdtG6ccHlDyhGgEuVOly+Bv1NaUgiVhVYUvBqsDIZQHHQkR2JS9
 mi4bCm5HQLuAN3qigf2WaLpREM1yhfIa560sg0LIG7dVkhPTCgroMy9CiuJdhkrrZA
 gk/PKueva87YCeNzCNQ6h2jzCGboX/C2eOduQ8lXVhwE9Zpd3aY/HEws/EnqvUSXOC
 jYnegkTwRz7JqIZ7Rp1DWTJg=
From: Tomas Volf <~@wolfsden.cz>
In-Reply-To: <877bx7il8v.fsf@HIDDEN> (Maxim Cournoyer's message of
 "Tue, 07 Oct 2025 09:55:12 +0900")
References: <2e0138e328c5ea94cf90b8b7cd63ed8b30252012.1759670383.git.~@wolfsden.cz>
 <bea6a3bb1e829d7aeb8da9a9a5ccfe486d44bd0e.1759708140.git.~@wolfsden.cz>
 <87o6qkh1ep.fsf@HIDDEN> <877bx7il8v.fsf@HIDDEN>
Date: Tue, 07 Oct 2025 11:47:28 +0200
Message-ID: <87v7krdowf.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain
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,

Maxim Cournoyer <maxim@HIDDEN> writes:

>>> This commit adds new ,build-options meta command, which allows to specify
>>> build options, including #:offload?.
>>>
>>> * guix/monad-repl.scm (%build-options): New variable.
>>> (evaluate/print-with-store, package-argument-command): Use it.
>>> (build-options): New meta command to set it.
>>> * doc/guix.texi (Using Guix Interactively): Document it.
>
> Would there be a way to set these options to a default of my choosing?

For sure, you can do that from .guile.

> I want to see the build log most of the time, when hacking on a package,
> for example.

I too want to see the logs!  For that reason, I have the following in my
.guile (inside a guard checking that we are in guix repl):

--8<---------------cut here---------------start------------->8---
  (display "Increasing build verbosity...\n")
  (set! (@@ (guix monad-repl) %build-verbosity) 3)
--8<---------------cut here---------------end--------------->8---

>
> Or perhaps the verbosity should be set higher by default for this, as
> it's meant for interactive usage?

Maybe?  I find that the increased verbosity works for me, but can
definitely see arguments for the current default.  So no strong opinion.

Tomas

-- 
There are only two hard things in Computer Science:
cache invalidation, naming things and off-by-one errors.

Message received at control <at> debbugs.gnu.org:

Received: (at control) by debbugs.gnu.org; 30 Nov 2025 20:47:39 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Nov 30 15:47:39 2025
Received: from localhost ([127.0.0.1]:42579 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1vPoKY-00021G-OC
	for submit <at> debbugs.gnu.org; Sun, 30 Nov 2025 15:47:38 -0500
Received: from wolfsden.cz ([37.205.8.62]:40162)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.84_2) (envelope-from <~@wolfsden.cz>) id 1vPoKU-00020y-Uo
 for control <at> debbugs.gnu.org; Sun, 30 Nov 2025 15:47:37 -0500
Received: by wolfsden.cz (Postfix, from userid 104)
 id 418313A7A25; Sun, 30 Nov 2025 20:47:33 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail;
 t=1764535653; bh=6u3WE+4YWlwMoMqpcjYa2ACSYjLYbi+Wi22iYyFlyEE=;
 h=Date:To:From:Subject;
 b=xnrFq9rrGETthwp1/La0Xkbfwt0tUHEh0wGAcwOgTiOwCxT/5iGaqEALvoVqA37tq
 yWr9HyVWz5VW78ibSj6+ZXDebUKl9Vpa9cy6UE+NdnQQSTTX7L/6whCvdmFWA+hysA
 T3I4OiS8sw+l8LiZyGtBrJYzYnlMa+kdDkUrgRz6yYUN58EM3IUqdTVRFsx85j+37d
 vzN2nUdubDIuaBko+GgpjcXW60axeNlyincAiwbatupCl9oFDOLLdGynbA2Lmyl+KS
 2Si0kW3lg9FQBtobPFfS8q2OLciOOt3T/u/XQvMLUwbpJaGNP1jLktS1UoSp5zQSGK
 j/82SGbHOKI7KierU27eHdoRwnF+6y0fVm2MJZbWPWf0jDjaK+ljxfmgs63rimNkfS
 ekXpRhuyqnuGHPUJtMYEA9OD/7EIDvZu/KezBm6UxgZ4aWVuYTiNw+mt7OVy+QjbUz
 JrPsMRVmQXaqqpvIMdxkxSHn4axNprSkhGs7TjyCC/21F1MzWP/yQwh9aiGPgEplf1
 58rFwvwG05bLW9oYm9Zer0mXPUtS+7M2nx1Zu3DQhO5158s0V7zlvHUFiuAbDb2/aq
 hV1tJ26lrSwd3OE5klEhZHla8ItKKCj5+tqSMIbWmbF/f7gSp4L4w7Jkphx8Efu0pk
 N8uZgCuK5HgsDsoLICb8jYrQ=
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on wolfsden
X-Spam-Level: 
X-Spam-Status: No, score=-3.1 required=5.0 tests=ALL_TRUSTED,BAYES_00,
 DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,URIBL_BLOCKED
 autolearn=ham autolearn_force=no version=3.4.6
Received: from localhost (unknown [128.0.188.242])
 by wolfsden.cz (Postfix) with ESMTPSA id 63F603A7A24
 for <control <at> debbugs.gnu.org>; Sun, 30 Nov 2025 20:47:32 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail;
 t=1764535652; bh=6u3WE+4YWlwMoMqpcjYa2ACSYjLYbi+Wi22iYyFlyEE=;
 h=Date:To:From:Subject;
 b=DIOSTZc9C67pgLochf1BTrH4xQLZjIpnvceM4h0ooshjauI9PcGaTAMnA+jQHR8JT
 FhUDXnFMjM2/oFUGxok+8ifgP4uyRnUgG5eei0zhQiixz/CXMQLPXXRcWzi1V15xRG
 SdawLgB/yGBYru5fPbLFeebms0WeiAiiE5WjxzBmoOabzfDJ/qQgetzoJDOKl3cZQQ
 Rq8pLcRbgn+plOq6dczqiYMz7iiZM4hh5vpGAJWEOVOVsB7d19UeOQTu0PXbPSY9dX
 uYUO1h68pLWDk9peRt47nNPWZ+7k2mLQaPmjmvVj2G3mbLx7p7BkeZNHPU+5D/jRDO
 Z+OiS9NLBjGBNV8/gY8yFzge1ldaEz5T28Y4HYZ8Ki7xRL6qil5JoutVgBxbHOfxbK
 lCyDdomqecYYju60eAcEGKNA8lMBwuP8KYWj7DLUgc8Z6aumLDZyqussGz81Qr0swn
 NVzvDFXkxM48EhXCK2GKPAdXHbyyS1s5FTRdIi1+i7vHgNP94Yesuc6FI1Phc4GHta
 8sV1pQBx+I3pKEetlDP3F9uCufCv74k4G1ofrYxE18SCUVg6Zv3JgIOF3U5kDHOKpv
 3Etu4FC5iB8ogYcZSThnFk8uFBu/p8Sxaivj+dxK3IJHdBkKqKGfSn7cCc5A77d8+9
 +5cXRvYWHMk5ehtO+WLhe3l0=
Date: Sun, 30 Nov 2025 21:47:32 +0100
Message-ID: <3453b99e64b4e1274f7be00be8b347fe@HIDDEN>
To: control <at> debbugs.gnu.org
From: Tomas Volf <~@wolfsden.cz>
Subject: control message for bug #79577
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: control
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 (-)

close 79577 
quit

Last modified: Sun, 30 Nov 2025 21:00:02 UTC

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