# HG changeset patch
# User zegervdv <zegervdv@me.com>
# Date 1664381090 0
# Node ID 951bf135364112e27e02574549112a533e06497c
# Parent  f22ae1859c6d2880d909493fcb61405696eaaf6c
remove duplicate entries from zsh PATH

diff -r f22ae1859c6d -r 951bf1353641 dot_zshrc
--- a/dot_zshrc	Wed Sep 28 10:47:13 2022 +0000
+++ b/dot_zshrc	Wed Sep 28 16:04:50 2022 +0000
@@ -326,3 +326,6 @@
 if [ ${TMUX} ]; then
  unset zle_bracketed_paste
 fi
+
+# Deduplicate PATH
+typeset -U path