diff options
author | Spencer E. Olson <olsonse@umich.edu> | 2010-08-11 14:40:38 -0600 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2010-08-11 14:07:31 -0700 |
commit | b1d1058cc348a985a6209f920fab0db592dc83de (patch) | |
tree | 7ab93f6a533ec1ec72336cd537320de2a0f3f6db /Documentation | |
parent | Git 1.7.2 (diff) | |
download | tgif-b1d1058cc348a985a6209f920fab0db592dc83de.tar.xz |
Allow HTTP user agent string to be modified.
Some firewalls restrict HTTP connections based on the clients user agent. This
commit provides the user the ability to modify the user agent string via either
a new config option (http.useragent) or by an environment variable
(GIT_HTTP_USER_AGENT).
Relevant documentation is added to Documentation/config.txt.
Signed-off-by: Spencer E. Olson <olsonse@umich.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/config.txt | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Documentation/config.txt b/Documentation/config.txt index e75434b3ef..8cd8b6750d 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -1243,6 +1243,15 @@ http.noEPSV:: support EPSV mode. Can be overridden by the 'GIT_CURL_FTP_NO_EPSV' environment variable. Default is false (curl will use EPSV). +http.useragent:: + The HTTP USER_AGENT string presented to an HTTP server. The default + value represents the version of the client git such as git/1.7.1. + This option allows you to override this value to a more common value + such as Mozilla/4.0. This may be necessary, for instance, if + connecting through a firewall that restricts HTTP connections to a set + of common USER_AGENT strings (but not including those like git/1.7.1). + Can be overridden by the 'GIT_HTTP_USER_AGENT' environment variable. + i18n.commitEncoding:: Character encoding the commit messages are stored in; git itself does not care per se, but this information is necessary e.g. when |