Tomas Volf 0159dc10cd monad-repl: Add "build-options" command. ...

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.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

2025-10-06 10:36:27 +02:00

..

images

doc: Use "dejavu sans" instead of "Helvetica" or "sans" in dot images.

2024-04-14 10:29:07 +02:00

build.scm

doc: Build PDF for Chinese manual.

2025-10-05 17:07:41 +02:00

contributing.texi

doc: Clarify how to create the Codeberg token for `sync-codeberg-teams'.

2025-09-23 23:03:09 +09:00

environment-gdb.scm

doc: Update GDB "guix shell" example to use autoconf-2.69

2023-07-18 00:41:15 +02:00

fdl-1.3.texi

…

guix-cookbook.texi

nls: Update translations.

2025-09-02 00:30:19 +02:00

guix.texi

monad-repl: Add "build-options" command.

2025-10-06 10:36:27 +02:00

he-config-bare-bones.scm

home: Define ‘%base-home-services’.

2025-01-16 22:32:11 +01:00

htmlxref.cnf

nls: Update translations.

2025-09-02 00:30:19 +02:00

local.mk

Revert "nls: Temporarily disable building of translated manuals."

2025-09-30 10:37:34 +02:00

package-hello.json

import: Do not return package name with json importer.

2024-02-23 19:02:55 +01:00

package-hello.scm

…