1b784bbf4d2ce470ade3d0c2963c349a5a7af9cf

Author
James Cox <james@imaj.es>
Committer
James Cox <james@imaj.es>
Date

Message

make correction work; this is a nicer way of handling typos in commands

Diff

 1diff --git a/correction.zsh b/correction.zsh
 2new file mode 100644
 3index 0000000000000000000000000000000000000000..c9fecb0feaab97d163a0c8709c37ff8618f3aae1
 4--- /dev/null
 5+++ b/correction.zsh
 6@@ -0,0 +1,6 @@
 7+setopt correct_all
 8+
 9+alias man='nocorrect man'
10+alias mv='nocorrect mv'
11+alias mysql='nocorrect mysql'
12+alias mv='nocorrect mv'