diff zshrc @ 37:035e19cbaee7

merge latest changes
author Dirk Olmes <dirk@xanthippe.ping.de>
date Sat, 16 Feb 2013 05:59:44 +0100
parents 2f93381e4ed8
children 9fa883dc39e0
line wrap: on
line diff
--- a/zshrc	Sat Jan 05 04:38:32 2013 +0100
+++ b/zshrc	Sat Feb 16 05:59:44 2013 +0100
@@ -42,6 +42,9 @@
 # turn of the "helpful" zsh feature of pushing each directory to the dir stack on cd
 unsetopt autopushd
 
+# turn off "helpful" auto correction
+unsetopt correct_all
+
 # utility function that is used by various other modules
 removeFromPath() {
     search_term="$1"