zsh: Make sure elements in PATH are unique.

diff --git a/zsh/env b/zsh/env
index ecfd002319ea3c815255ea3669b8692829acf1d3..93480281f2fe9c1ffe23ae467cc83088d7fc165c 100644 (file)
--- a/zsh/env
+++ b/zsh/env
@@ -19,6 +19,11 @@ fi
 
 source_debug "sourcing ~/.zsh/env"
 
+
+# Make sure elements in PATH are unique.
+typeset -U path PATH
+
+
 # Load global env file for current hostname (first part before a dot) or
 # global env.local.
 source_config ~/.shell "" env $host