81ed0c4115f27d2f9945710ae376a70995872287

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

Message

Resolving conflict with merge of #970

Diff

 1diff --git a/lib/correction.zsh b/lib/correction.zsh
 2index 07fbcfd364cd32020a5fb60260b66079c2c398f9..436446101ad023fad73270c61b462aa5d51f6cb9 100644
 3--- a/lib/correction.zsh
 4+++ b/lib/correction.zsh
 5@@ -2,7 +2,6 @@ if [[ "$DISABLE_CORRECTION" == "true" ]]; then
 6   return
 7 else
 8   setopt correct_all
 9-
10   alias man='nocorrect man'
11   alias mv='nocorrect mv'
12   alias mysql='nocorrect mysql'
13@@ -11,4 +10,5 @@ else
14   alias heroku='nocorrect heroku'
15   alias ebuild='nocorrect ebuild'
16   alias hpodder='nocorrect hpodder'
17+  alias sudo='nocorrect sudo'
18 fi