diff options
| author | Tomas Volf <~@wolfsden.cz> | 2025-10-06 01:49:00 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2025-10-06 10:36:27 +0200 |
| commit | 0159dc10cd7fee8f953bcfd46d79be970a6a873a (patch) | |
| tree | e73b2e6f0dafd234f252b478c2b3d30167e5c585 /doc | |
| parent | 159dcc337ad896573d8c1fa49024d956fb0929f2 (diff) | |
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>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/guix.texi | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 0c002113078..29ededf831a 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -13204,6 +13204,16 @@ Lower @var{object} and build it if it's not already built, returning its 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 |