From df39157fd0b6c0ea512beb2a57cf8c6f88c5db11 Mon Sep 17 00:00:00 2001 From: Simon Ruderich 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