diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-07-13 16:07:59 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-07-13 18:29:01 +0200 |
| commit | f8a8e0fe1653d4bd998a33f013ea2583b4a32a00 (patch) | |
| tree | a6a322ce08ff58e185e6fe004927ee068b21fee7 /.dir-locals.el | |
| parent | 24f5aaaf24e009de7f7402f2d311a26cafbf4f4a (diff) | |
| download | guix-f8a8e0fe1653d4bd998a33f013ea2583b4a32a00.tar guix-f8a8e0fe1653d4bd998a33f013ea2583b4a32a00.tar.gz | |
guix build: Add '--substitute-urls' client option.
* guix/scripts/build.scm (%standard-build-options,
show-build-options-help): Add --substitute-urls=URLS.
(set-build-options-from-command-line): Honor it.
* guix/store.scm (%default-substitute-urls): Make public.
* doc/guix.texi (Substitutes): Add xref to the client --substitute-urls
option.
(Invoking guix build): Document it.
(Invoking guix-daemon): Add 'daemon-substitute-urls' anchor.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions