[PATCH] Add description on how to use an HTTP proxy with git.
From: Robin Rosenberg <robin.rosenberg@dewire.com>
---
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:
Robin Rosenberg <robin.rosenberg@dewire.com>