03/03: doc: Mention HTTP/HTTPS proxy in the system installation instructions.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit 8c04471f2403f05bcbea740e3722030e2b8311ec
Author: Ludovic Courtès <address@hidden>
AuthorDate: Wed Apr 8 12:28:25 2020 +0200

    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'.
---
 doc/guix.texi | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/doc/guix.texi b/doc/guix.texi
index 7169e03..891e269 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: