357ab4912b98e5ffc14dd62a53b988053d7f9a6e

Author
Robby Russell <robby@planetargon.com>
Committer
Robby Russell <robby@planetargon.com>
Date

Message

Merge pull request #2316 from BBonifield/master

Making auto-correction off by default.

Okay, I don't feel so strongly these days about this.

Diff

 1diff --git a/lib/correction.zsh b/lib/correction.zsh
 2index 436446101ad023fad73270c61b462aa5d51f6cb9..47eb83b1d523f2b0ae828fa0273377b967001734 100644
 3--- a/lib/correction.zsh
 4+++ b/lib/correction.zsh
 5@@ -1,14 +1,13 @@
 6-if [[ "$DISABLE_CORRECTION" == "true" ]]; then
 7-  return
 8-else
 9+alias man='nocorrect man'
10+alias mv='nocorrect mv'
11+alias mysql='nocorrect mysql'
12+alias mkdir='nocorrect mkdir'
13+alias gist='nocorrect gist'
14+alias heroku='nocorrect heroku'
15+alias ebuild='nocorrect ebuild'
16+alias hpodder='nocorrect hpodder'
17+alias sudo='nocorrect sudo'
18+
19+if [[ "$ENABLE_CORRECTION" == "true" ]]; then
20   setopt correct_all
21-  alias man='nocorrect man'
22-  alias mv='nocorrect mv'
23-  alias mysql='nocorrect mysql'
24-  alias mkdir='nocorrect mkdir'
25-  alias gist='nocorrect gist'
26-  alias heroku='nocorrect heroku'
27-  alias ebuild='nocorrect ebuild'
28-  alias hpodder='nocorrect hpodder'
29-  alias sudo='nocorrect sudo'
30 fi