diff options
| author | Oleg Pykhalov <go.wigust@gmail.com> | 2017-10-04 12:01:41 +0300 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-10-07 23:01:52 +0200 |
| commit | cca6941feed56b6bcd767c2619b99cd619e91f0c (patch) | |
| tree | 737319d8b0bbc80d5f273cacc35ca2b9cd7b4cb7 /doc | |
| parent | 3803331803dc954903112fbcef0d00c918cd0410 (diff) | |
| download | gnu-guix-cca6941feed56b6bcd767c2619b99cd619e91f0c.tar gnu-guix-cca6941feed56b6bcd767c2619b99cd619e91f0c.tar.gz | |
pull: Add GUIX_PULL_URL environment variable.
* guix/scripts/pull.scm (%repository-url): Add GUIX_PULL_URL environment
variable.
* doc/guix.texi (Invoking guix pull): Mention GUIX_PULL_URL.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/guix.texi | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index c10fc649d1..7b5b711793 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -2532,8 +2532,10 @@ Produce verbose output, writing build logs to the standard error output. @item --url=@var{url} Download Guix from the Git repository at @var{url}. +@vindex GUIX_PULL_URL By default, the source is taken from its canonical Git repository at -@code{gnu.org}, for the stable branch of Guix. +@code{gnu.org}, for the stable branch of Guix. To use a different source, +set the @code{GUIX_PULL_URL} environment variable. @item --commit=@var{commit} Deploy @var{commit}, a valid Git commit ID represented as a hexadecimal |