From: Robin Rosenberg <robin.rosenberg@xxxxxxxxxx> --- 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: - : send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html