diff options
| author | Alex Riesen <raa.lkml@gmail.com> | 2008-08-31 13:54:58 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-08-31 17:15:13 (GMT) |
| commit | f0e90716d47b429284702b75425a247c9fc41adb (patch) | |
| tree | eb7a133ff0f05aac1dd6c53de1242f997e3191a7 /Documentation/config.txt | |
| parent | 8af84dadb142f7321ff0ce8690385e99da8ede2f (diff) | |
| download | git-f0e90716d47b429284702b75425a247c9fc41adb.zip git-f0e90716d47b429284702b75425a247c9fc41adb.tar.gz git-f0e90716d47b429284702b75425a247c9fc41adb.tar.bz2 | |
Add help.autocorrect to enable/disable autocorrecting
It is off(0) by default, to avoid scaring people unless they asked to.
If set to a non-0 value, wait for that amount of deciseconds before
running the corrected command.
Suggested by Junio, so he has a chance to hit Ctrl-C.
Signed-off-by: Alex Riesen <raa.lkml@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/config.txt')
| -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 af57d94..8c644ab 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 |