summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2020-04-08 12:28:25 +0200
committerLudovic Courtès <ludo@gnu.org>2020-04-08 12:42:41 +0200
commit8c04471f2403f05bcbea740e3722030e2b8311ec (patch)
treeb577e65d8df051d7886ee87ff43cc335bb93ff58
parent9cfd889f1d0135d20d3aad13fac5c1a9401c06fd (diff)
downloadpatches-8c04471f2403f05bcbea740e3722030e2b8311ec.tar
patches-8c04471f2403f05bcbea740e3722030e2b8311ec.tar.gz
doc: Mention HTTP/HTTPS proxy in the system installation instructions.
* doc/guix.texi (Keyboard Layout and Networking and Partitioning): Mention 'herd set-http-proxy guix-daemon'.
-rw-r--r--doc/guix.texi12
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 7169e03516..891e2693f6 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -2203,6 +2203,18 @@ ping -c 3 gnu.org
Setting up network access is almost always a requirement because the
image does not contain all the software and tools that may be needed.
+@cindex proxy, during system installation
+If you need HTTP and HTTPS access to go through a proxy, run the
+following command:
+
+@example
+herd set-http-proxy guix-daemon @var{URL}
+@end example
+
+@noindent
+where @var{URL} is the proxy URL, for example
+@code{http://example.org:8118}.
+
@cindex installing over SSH
If you want to, you can continue the installation remotely by starting
an SSH server: