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 /guix/scripts | |
| 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 'guix/scripts')
| -rw-r--r-- | guix/scripts/pull.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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")) ;;; |