diff options
| author | Junio C Hamano <gitster@pobox.com> | 2008-09-07 23:52:16 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-09-07 23:52:16 -0700 |
| commit | 277cd4c4bd8cca31395846fc80ea28bf2cd4ddf2 (patch) | |
| tree | 613693df1a0eaba807948a3910dab046fecd77a6 /Documentation | |
| parent | cd50988ae03e086ca1a8f18584153d359699ea25 (diff) | |
| parent | f0e90716d47b429284702b75425a247c9fc41adb (diff) | |
| download | git-277cd4c4bd8cca31395846fc80ea28bf2cd4ddf2.tar.gz | |
Merge branch 'ar/autospell'
* ar/autospell:
Add help.autocorrect to enable/disable autocorrecting
git wrapper: DWIM mistyped commands
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 ed3285f899..922ac7b44d 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -790,6 +790,15 @@ help.format:: Values 'man', 'info', 'web' and 'html' are supported. 'man' is the default. 'web' and 'html' are the same. +help.autocorrect:: + Automatically correct and execute mistyped commands after + waiting for the given number of deciseconds (0.1 sec). If more + than one command can be deduced from the entered text, nothing + will be executed. If the value of this option is negative, + the corrected command will be executed immediately. If the + value is 0 - the command will be just shown but not executed. + This is the default. + http.proxy:: Override the HTTP proxy, normally configured using the 'http_proxy' environment variable (see linkgit:curl[1]). This can be overridden |