diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-11-15 21:48:35 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-11-15 23:29:06 +0100 |
| commit | 87e7faa2ae641d8302efc8b90f1e45f43f67f6da (patch) | |
| tree | ca738a80ce423af14ac1b118226ef3a8444d8345 /doc/guix.texi | |
| parent | d17e012da7b41165cb49a5604a773459736144e3 (diff) | |
| download | patches-87e7faa2ae641d8302efc8b90f1e45f43f67f6da.tar patches-87e7faa2ae641d8302efc8b90f1e45f43f67f6da.tar.gz | |
time-machine: Honor the standard build options.
* guix/scripts/time-machine.scm (show-help): Call 'show-build-options-help'.
(%options): Add %STANDARD-BUILD-OPTIONS.
(%default-options): New variable.
(parse-args): Pass (list %default-options) to 'parse-command-line' and
remove #:build-options? parameter.
(guix-time-machine): Call 'set-build-options-from-command-line' and wrap
'cached-channel-instance' call in 'with-status-verbosity'.
* doc/guix.texi (Invoking guix time-machine): Mention common build options.
Diffstat (limited to 'doc/guix.texi')
| -rw-r--r-- | doc/guix.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index bc1d5d863a..51147e3e9a 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -4222,6 +4222,10 @@ will thus build the package @code{hello} as defined in the master branch, which is in general a newer revison of Guix than you have installed. Time travel works in both directions! +Note that @command{guix time-machine} can trigger builds of channels and +their dependencies, and these are controlled by the standard build +options (@pxref{Common Build Options}). + @node Inferiors @section Inferiors |