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