Tomas Volf <~@wolfsden.cz>
to control <at> debbugs.gnu.org.
Full text available.Received: (at 79577) by debbugs.gnu.org; 7 Oct 2025 09:47:35 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Tue Oct 07 05:47:35 2025 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> To: Maxim Cournoyer <maxim@HIDDEN> Subject: Re: [bug#79577] [PATCH v2] monad-repl: Add "build-options" command. 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-Debbugs-Envelope-To: 79577 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 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.
guix-patches@HIDDEN:bug#79577; Package guix-patches.
Full text available.
Received: (at 79577) by debbugs.gnu.org; 7 Oct 2025 00:55:51 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Oct 06 20:55:51 2025
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>
To: Ludovic =?utf-8?Q?Court=C3=A8s?= <ludo@HIDDEN>
Subject: Re: [bug#79577] [PATCH v2] monad-repl: Add "build-options" command.
In-Reply-To: <87o6qkh1ep.fsf@HIDDEN> ("Ludovic =?utf-8?Q?Court=C3=A8s=22'?=
=?utf-8?Q?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-Debbugs-Envelope-To: 79577
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
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
guix-patches@HIDDEN:bug#79577; Package guix-patches.
Full text available.Received: (at 79577) by debbugs.gnu.org; 6 Oct 2025 09:08:05 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Mon Oct 06 05:08:05 2025 Received: from localhost ([127.0.0.1]:54128 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1v5hCO-000065-PT for submit <at> debbugs.gnu.org; Mon, 06 Oct 2025 05:08:05 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:47836) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from <ludo@HIDDEN>) id 1v5hCK-00005B-L3 for 79577 <at> debbugs.gnu.org; Mon, 06 Oct 2025 05:08:02 -0400 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 1v5hCD-0005vy-KG; Mon, 06 Oct 2025 05:07:53 -0400 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=6llhayr285UgblXHL9jc9jq/bb2DwIRwlPjnc7N0Tvo=; b=nxr6Z+0FkLQVZtxUURXO ed+MfQLOqgowA0/kWgxqKAcfjxxRf8QILQ03GHbvBkfWwesNCr1cF7eB6+P/hvS9ahnuR7/htjZjr iOAGz+Jf81OeYtI1kZXaOT2Y/VZuqjMcw0jFe1WhBMZseKwLZgkiwZUZkkMQ5X+OEGRAK/NOb6diR Fma87N4Q/u1TOlU8zbeYBLj2TfQR1lixJU/Alxg4lmcE2xkIyTfhzF4plf35UYR4wn3irXo7brpn3 N5HsKO3JoZ9clYjoBL5H/1k1+Fw3xpIvR3c+qqBPPxJ4o1AuJ+gta2Ou9U6bfG8cAQc1ZxLRBUgSk mTrz6exzqeeiVw==; From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludo@HIDDEN> To: Tomas Volf <~@wolfsden.cz> Subject: Re: [bug#79577] [PATCH v2] monad-repl: Add "build-options" command. 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 X-URL: https://people.bordeaux.inria.fr/lcourtes/ X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu X-Revolutionary-Date: Quintidi 15 =?utf-8?Q?Vend=C3=A9miaire?= an 234 de la =?utf-8?Q?R=C3=A9volution=2C?= jour de =?utf-8?Q?l'=C3=82ne?= Date: Mon, 06 Oct 2025 10:36:46 +0200 Message-ID: <87o6qkh1ep.fsf@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 79577 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 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, 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!
guix-patches@HIDDEN:bug#79577; Package guix-patches.
Full text available.
Received: (at 79577) by debbugs.gnu.org; 5 Oct 2025 23:49:11 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Oct 05 19:49:11 2025
Received: from localhost ([127.0.0.1]:53403 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1v5YTW-0000BF-PR
for submit <at> debbugs.gnu.org; Sun, 05 Oct 2025 19:49:11 -0400
Received: from wolfsden.cz ([37.205.8.62]:42386)
by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.84_2) (envelope-from <~@wolfsden.cz>) id 1v5YTT-0000B5-4U
for 79577 <at> debbugs.gnu.org; Sun, 05 Oct 2025 19:49:08 -0400
Received: by wolfsden.cz (Postfix, from userid 104)
id 33E85327C6D; Sun, 5 Oct 2025 23:49:05 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail;
t=1759708145; bh=9GOGf1dGcE4YYe95vjHlP7MuHJDq7ch9ytr4LRDJjgQ=;
h=From:To:Cc:Subject:Date;
b=quB30kFFAAPLC0nJtPpIz1HSQDwkOLjHJPmDUKzGeu3p8GpSfpRy84MSJlc9bhw0g
p46RZ0CbEn5oryITVSIIXyIhnj2NO10t514TVF30e3KlkN5K/NRyFy9XuEIhedQFdr
KZlp6/umJ9JHlI8PUG3UErlinDyAvM/4PqX2mI7uhWrkcRGXLDzLTYhqcrV5NophBn
6eSbxGadhyKxf8Hq7BzsQO7zPco/VN9cyN+qH9sjvuCvyM/T34RdR2AcwRLLGR2nwx
q/eew2aj2bfs5FJ0ezUFY3OW/2MJ6dTlKFUO+InlvknvnDZp2NOCP8vlhdQ5DT6zX3
/AxnDsHRWRH6+BNQna9Kwdo0WE1gKCY9fMLYevjmHu/I19Xky0CkyvQ1rQA3U4pPEr
OuWO6GIXWadJhc6OC6tjo1uFBIwNRC9nUG5DNgSNN3IStsNUxMuG9jZttHwsbmtZVK
oC7gFjgAxd8IasMVw8+oHth8G0mLYsM1mwIFgJkVa6v3MkZTrutQyRki9DCgmIEAP8
M+yWeqk1lv+bqkMld8mufva0wG+0LJur99s0qikGZL84I2yGWBPXinY4QfZtD7FTwu
vZMm87xuwZMZU8nZKCj6SsLUUdM5/LVomwATKbkzdTTDqHdrDBcrpYzlav3wibtmG+
qduDqoGOMcUJYPMcIeDeHp8I=
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 5EB24327D1E;
Sun, 5 Oct 2025 23:49:04 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail;
t=1759708144; bh=9GOGf1dGcE4YYe95vjHlP7MuHJDq7ch9ytr4LRDJjgQ=;
h=From:To:Cc:Subject:Date;
b=wOEc0ulAuuBAspgEyGLX5Dg3/N8kcQCI8/Mzt4yjBvbscqdy9xNwsWTRk0WWiJKsD
JrjEHzNIfOJmsBHB+xzhAaI7KMjB1SE1vEMwvMdoGPYehG/FjoNh7P+chIPWGM4ytZ
jbJ5jvTQd8tIcOoIr8w4pEx1KCae5kqCzQ0EDqQjji1dgQ3VG6zng6qSmWaPWOqyuP
LQVqh3Cqna0zv1d+99EYogSjcWPX/wR3o4zla74XxUk64foiWML/zn+k81Bm2yK9hI
de+vTFXcrrOpbg205ulzC3Mtm/4rFVcCeYiinoIRqSK2YtVpM5MOigzLWSMFy9T3hj
aRO6HbWjz1SXpveZmLEv78n3cH2WXASbVcfJ0qCG4yRYet3ZfgFNAItvf4TRVb14oH
ICrAEG98WKavDHlb+VOZRjcpzA8vNNt0H/tNGRxyLCkfESiAe9A/cgXyMLf6EbwM/Q
LJIoeTGenRWe9KE0EEtLAUm9BosjzYz+mqrbuGccvFIT6uq82Rw3OdMKrUmDgQlaxd
Bjz9/ADQsWypRH2aCbK3JV/vw6LUuVZhpIa2XVhX1yv3DdgfPPuZoYCPuws5XeDqnT
FAyabDdp/v1jghDCmmE9m9Ss0lo+6GpQM8WTmXhJyzVWtaDXuq/Xtcu1LbtUg5pWUH
9/RoPwwylK1Z1h5xboqkFvyw=
From: Tomas Volf <~@wolfsden.cz>
To: 79577 <at> debbugs.gnu.org
Subject: [PATCH v2] monad-repl: Add "build-options" command.
Date: Mon, 6 Oct 2025 01:49:00 +0200
Message-ID: <bea6a3bb1e829d7aeb8da9a9a5ccfe486d44bd0e.1759708140.git.~@wolfsden.cz>
X-Mailer: git-send-email 2.51.0
MIME-Version: 1.0
X-Debbugs-Cc: Christopher Baines <guix@HIDDEN>, Gabriel Wicki <gabriel@HIDDEN>, Josselin Poiret <dev@HIDDEN>, Ludovic Courtès <ludo@HIDDEN>, Mathieu Othacehe <othacehe@HIDDEN>, Maxim Cournoyer <maxim@HIDDEN>, Simon Tournier <zimon.toutoune@HIDDEN>, Tobias Geerinckx-Rice <me@HIDDEN>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 79577
Cc: Tomas Volf <~@wolfsden.cz>
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 (-)
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
guix@HIDDEN, gabriel@HIDDEN, dev@HIDDEN, ludo@HIDDEN, othacehe@HIDDEN, maxim@HIDDEN, zimon.toutoune@HIDDEN, me@HIDDEN, guix-patches@HIDDEN:bug#79577; Package guix-patches.
Full text available.
Received: (at submit) by debbugs.gnu.org; 5 Oct 2025 13:22:16 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Oct 05 09:22:16 2025
Received: from localhost ([127.0.0.1]:51725 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1v5Ogq-0005yj-5G
for submit <at> debbugs.gnu.org; Sun, 05 Oct 2025 09:22:16 -0400
Received: from lists.gnu.org ([2001:470:142::17]:47370)
by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.84_2) (envelope-from <~@wolfsden.cz>) id 1v5Ogn-0005yT-5D
for submit <at> debbugs.gnu.org; Sun, 05 Oct 2025 09:22:13 -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 <~@wolfsden.cz>) id 1v5Ogh-0002zH-QN
for guix-patches@HIDDEN; Sun, 05 Oct 2025 09:22:07 -0400
Received: from wolfsden.cz ([37.205.8.62])
by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.90_1) (envelope-from <~@wolfsden.cz>) id 1v5Ogf-0001Uc-3S
for guix-patches@HIDDEN; Sun, 05 Oct 2025 09:22:07 -0400
Received: by wolfsden.cz (Postfix, from userid 104)
id 8733D3263E7; Sun, 5 Oct 2025 13:21:59 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail;
t=1759670519; bh=mUz/fLdZeV1NOhe5lAYPjrLzfU3M67R4vSv3vzd0y+o=;
h=From:To:Cc:Subject:Date;
b=YJVLlbDiioNUV70QQwYdN3gv66lI3P75hGrwp8vem6eTMcRNIk4i02waKTulga0by
m4sWBF93HlXPsWsWaCQ40u6+2x0JqfM1aKEoJah4wUoC2ZNdcOft5aNNNAT1S078SM
LhmoRLm4oWbKeYuT89LYcnBNc5DLaJk7CsPmNBqVB2gDuieNePckJ4rW8mCY744IUw
j48FI7CotupwrQmqZRqxWz3k0wGNH2vx/cBJ2MufSCqljYD/1roigiQwhJtvGtHH4z
Jl9fkiJfZhIMmA2j/GthrbWZjMhJhI4jrjvOabEdZGAS1wDluMZ1zJxwyJlw7INl4D
Eq1YHAc+DDcqdAhVMIj8vFH3rYxIPhRAkIWIDDQBV+Or1hLVqm4fcjW6VsnHkvkhxL
e0qZ1rHgnudXgzFtryy51FglDVsDuXXIsoTO24zuYdACmIMV0JnEwmZdxZ/Aaw4/1e
0LoQnknV9WN4j6f3EUuqyPaRs1ri2UVIEeYY/nUociVu17KQtqVbYQHqPzE8uTPJQ9
qa3BEnD5aSupBD8t9zW5K8KgTY9jTu8IgGG5iJn7RsruEfSfkxHbpOwHXzpj5VRaxV
b+THvtG54qu/+kd9Bh7F3TC3A/QrulF6cqf3266HxwN5hDXdnFVi8VOyWckKW1F08B
U3mYF4yz3Kksqi289+FPl70o=
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 AC9BC325F5B;
Sun, 5 Oct 2025 13:21:58 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail;
t=1759670518; bh=mUz/fLdZeV1NOhe5lAYPjrLzfU3M67R4vSv3vzd0y+o=;
h=From:To:Cc:Subject:Date;
b=I6jptE/utOgxTfmYjdtYVmZOcSHVtybO1kG5ujxyJ8q1viAQC3a+rG5lMyY6/uy10
e85B2i2dCbN0Rcm66I65U5Xa1ecEcElgAfiSWh48+ILqEjbbjzlesQKshDRPmeFbyP
rHjKpf7+xibf51MDhxICTGOiGK8AFDChMRmhzzHYSE69A0LMsb5O1l/FruvhClGtkc
fZFtjj0NqkQJBIKQBn2qryEHf/fta6IqWUK9wTlAo6oQg7vUhYy1j1Ud0xaJoj2boK
4h0D+ApSzXgF4h1JpdFgEvwXJJRA4Zhy5micG++MuGpy8YrUb6rHLW9i0epUOwy1EW
fuY4KhlLAF6ovhhQYhf3yXr2YCLD3ZOAFCtMsseD46bNmul+6DNVPdMO5W5iA4fbAS
MqljrbarJRH9XHEqtXRZjku4Ltt/VuZN2TYf96H4e4XJVi+3AKSC02jryR/cDZ2m3K
AdgebAaDUvbIa8PsfhuqZYgGNjw/iLRQaQtnS1mTiu0DqtvULgbr6Yt7ef9zVkhWOK
PHmv5bzxdv6+nUJZCt1hzhl6zJ/WgLC8YRkpi0Z4YQRnEJ5bjLj0zIKeBv8MH0tNed
atCYbMEvBk+cXlq8IsjuwdG2E8qrHGNRZiFb6lQlLoCpa+GmMTVXyTKNxfg2wGP+31
M9dV+lgUbDJTIQWMYyGz/YSY=
From: Tomas Volf <~@wolfsden.cz>
To: guix-patches@HIDDEN
Subject: [PATCH] monad-repl: Add "build-options" command.
Date: Sun, 5 Oct 2025 15:19:43 +0200
Message-ID: <2e0138e328c5ea94cf90b8b7cd63ed8b30252012.1759670383.git.~@wolfsden.cz>
X-Mailer: git-send-email 2.51.0
MIME-Version: 1.0
X-Debbugs-Cc: Christopher Baines <guix@HIDDEN>, Gabriel Wicki <gabriel@HIDDEN>, Josselin Poiret <dev@HIDDEN>, Ludovic Courtès <ludo@HIDDEN>, Mathieu Othacehe <othacehe@HIDDEN>, Maxim Cournoyer <maxim@HIDDEN>, Simon Tournier <zimon.toutoune@HIDDEN>, Tobias Geerinckx-Rice <me@HIDDEN>
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-Debbugs-Envelope-To: submit
Cc: Tomas Volf <~@wolfsden.cz>
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
Tomas Volf <~@wolfsden.cz>:guix@HIDDEN, gabriel@HIDDEN, dev@HIDDEN, ludo@HIDDEN, othacehe@HIDDEN, maxim@HIDDEN, zimon.toutoune@HIDDEN, me@HIDDEN, guix-patches@HIDDEN.
Full text available.guix@HIDDEN, gabriel@HIDDEN, dev@HIDDEN, ludo@HIDDEN, othacehe@HIDDEN, maxim@HIDDEN, zimon.toutoune@HIDDEN, me@HIDDEN, guix-patches@HIDDEN:bug#79577; Package guix-patches.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.