diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-05-09 15:45:04 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-05-09 18:08:24 +0200 |
commit | 4902d3c4e0376974356481f222583580b49f39e1 (patch) | |
tree | ff5ccff2d946d510af9390950a04947a986d11e8 /doc | |
parent | f0b7dc7edea730e9648b58cc0e651678a843e490 (diff) | |
download | guix-4902d3c4e0376974356481f222583580b49f39e1.tar guix-4902d3c4e0376974356481f222583580b49f39e1.tar.gz |
pull: Honor the standard build options.
Reported by Niall Dooley <dooleyn@gmail.com>
in <https://lists.gnu.org/archive/html/help-guix/2017-05/msg00038.html>.
* guix/scripts/pull.scm (%options): Add --dry-run and all of
%STANDARD-BUILD-OPTIONS.
(show-help): Add call to 'show-build-options-help'.
(%default-options): Add 'system', 'substitutes?', 'graft?',
'max-silent-time', and 'verbosity'.
(guix-pull)[parse-options]: Remove.
Use 'parse-command-line' instead. Honor --dry-run.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/guix.texi | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 4446909ed6..22dc8b3f90 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -2390,13 +2390,13 @@ For example, to download and deploy version 0.12.0 of Guix from the canonical Git repo: @example -guix pull --url=http://git.savannah.gnu.org/cgit/guix.git/snapshot/v0.12.0.tar.gz +guix pull --url=https://git.savannah.gnu.org/cgit/guix.git/snapshot/v0.12.0.tar.gz @end example It can also be used to deploy arbitrary Git revisions: @example -guix pull --url=http://git.savannah.gnu.org/cgit/guix.git/snapshot/74d862e8a.tar.gz +guix pull --url=https://git.savannah.gnu.org/cgit/guix.git/snapshot/74d862e8a.tar.gz @end example @item --bootstrap @@ -2404,6 +2404,8 @@ Use the bootstrap Guile to build the latest Guix. This option is only useful to Guix developers. @end table +In addition, @command{guix pull} supports all the common build options +(@pxref{Common Build Options}). @node Invoking guix pack @section Invoking @command{guix pack} |