From df39157fd0b6c0ea512beb2a57cf8c6f88c5db11 Mon Sep 17 00:00:00 2001
From: Simon Ruderich <simon@ruderich.org>
Date: Sun, 17 Jan 2010 15:56:30 +0100
Subject: [PATCH] zsh: Make sure elements in PATH are unique.

---
 zsh/env | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/zsh/env b/zsh/env
index ecfd002..9348028 100644
--- 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
-- 
2.45.2