[PATCH] Add description on how to use an HTTP proxy with git.
From: Robin Rosenberg <hidden>
Date: 2016-06-15 22:42:34
Subsystem:
documentation, the rest · Maintainers:
Jonathan Corbet, Linus Torvalds
From: Robin Rosenberg <redacted> --- Documentation/urls.txt | 9 ++++++++- 1 files changed, 8 insertions(+), 1 deletions(-)
diff --git a/Documentation/urls.txt b/Documentation/urls.txt
index 7477413..fb94162 100644
--- a/Documentation/urls.txt
+++ b/Documentation/urls.txt@@ -8,6 +8,13 @@ to name the remote repository: - rsync://host.xz/path/to/repo.git/ - http://host.xz/path/to/repo.git/ - https://host.xz/path/to/repo.git/ +=============================================================== + +If you need to use an HTTP proxy you can set the `http_proxy` +environment variable to a suitable value, e.g. +`proxy.mydomain.com:8080`. This is a libcurl feature. + +=============================================================== - git://host.xz/path/to/repo.git/ - git://host.xz/~user/path/to/repo.git/ - ssh://host.xz/path/to/repo.git/
@@ -15,7 +22,7 @@ to name the remote repository: - ssh://host.xz/~/path/to/repo.git =============================================================== -SSH Is the default transport protocol and also supports an +SSH is the default transport protocol and also supports an scp-like syntax. Both syntaxes support username expansion, as does the native git protocol. The following three are identical to the last three above, respectively: