diff options
author | Robby Russell <robby@planetargon.com> | 2013-04-23 20:30:21 -0700 |
---|---|---|
committer | Robby Russell <robby@planetargon.com> | 2013-04-23 20:30:21 -0700 |
commit | a2c8db9eb34480dd3e2c9d91d4415ee7964d4764 (patch) | |
tree | df81da50cf79180310e09cde04282ffa4ed1fe06 | |
parent | 7cdb6d667c12ff4944d7e68eb519cc5bd6735bc3 (diff) | |
parent | 682961e9304c6bf7bd500d741b01640682d35ac9 (diff) | |
download | zsh-a2c8db9eb34480dd3e2c9d91d4415ee7964d4764.tar.gz zsh-a2c8db9eb34480dd3e2c9d91d4415ee7964d4764.tar.bz2 zsh-a2c8db9eb34480dd3e2c9d91d4415ee7964d4764.zip |
Resolving conflict in #1266 merge
-rw-r--r-- | lib/correction.zsh | 16 | ||||
-rw-r--r-- | templates/zshrc.zsh-template | 3 |
2 files changed, 17 insertions, 2 deletions
diff --git a/lib/correction.zsh b/lib/correction.zsh index 176ec16d5..07fbcfd36 100644 --- a/lib/correction.zsh +++ b/lib/correction.zsh @@ -1,2 +1,14 @@ -# correct commands, but not any arguments (correct_all would do that) -setopt correct +if [[ "$DISABLE_CORRECTION" == "true" ]]; then + return +else + setopt correct_all + + alias man='nocorrect man' + alias mv='nocorrect mv' + alias mysql='nocorrect mysql' + alias mkdir='nocorrect mkdir' + alias gist='nocorrect gist' + alias heroku='nocorrect heroku' + alias ebuild='nocorrect ebuild' + alias hpodder='nocorrect hpodder' +fi diff --git a/templates/zshrc.zsh-template b/templates/zshrc.zsh-template index 55980fb08..d4dded73a 100644 --- a/templates/zshrc.zsh-template +++ b/templates/zshrc.zsh-template @@ -26,6 +26,9 @@ ZSH_THEME="robbyrussell" # Uncomment following line if you want to disable autosetting terminal title. # DISABLE_AUTO_TITLE="true" +# Uncomment following line if you want to disable command autocorrection +# DISABLE_CORRECTION="true" + # Uncomment following line if you want red dots to be displayed while waiting for completion # COMPLETION_WAITING_DOTS="true" |