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 | |
| parent | 3803331803dc954903112fbcef0d00c918cd0410 (diff) | |
| download | patches-cca6941feed56b6bcd767c2619b99cd619e91f0c.tar patches-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>
| -rw-r--r-- | doc/guix.texi | 4 | ||||
| -rw-r--r-- | guix/scripts/pull.scm | 2 |
2 files changed, 4 insertions, 2 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 diff --git a/guix/scripts/pull.scm b/guix/scripts/pull.scm index b1c87c870e..2400198000 100644 --- a/guix/scripts/pull.scm +++ b/guix/scripts/pull.scm @@ -82,7 +82,7 @@ Install it by running: (resolve-interface '(git)))) (define %repository-url - "https://git.savannah.gnu.org/git/guix.git") + (or (getenv "GUIX_PULL_URL") "https://git.savannah.gnu.org/git/guix.git")) ;;; |