From 435dcf55bdbdea3bf6886a742ae4ae32af56ae23 Mon Sep 17 00:00:00 2001
From: Grégoire Duchêne <gduchene@awhk.org>
Date: Sat, 8 Aug 2020 12:51:56 +0100
Subject: zsh: Add paths to ${PATH} in profile instead of env

---
 zsh/env     |  9 ---------
 zsh/profile | 12 ++++++++++++
 2 files changed, 12 insertions(+), 9 deletions(-)
 create mode 100644 zsh/profile

diff --git a/zsh/env b/zsh/env
index 91c4cdb..b2bd2c9 100644
--- a/zsh/env
+++ b/zsh/env
@@ -14,12 +14,3 @@ setopt REMATCH_PCRE
 source_if_exists dotfiles-${UNAME}/zsh/env
 source_if_exists dotfiles-${DOMAIN}/zsh/env
 source_if_exists dotfiles-${HOST}/zsh/env
-
-() {
-  local dir
-  for dir in ~/{.local/bin,bin} ${GOPATH:-~/go}/bin; do
-    if [[ -d ${dir} && ${path[(I)${dir}]} -eq 0 ]]; then
-      path=(${dir} ${path})
-    fi
-  done
-}
diff --git a/zsh/profile b/zsh/profile
new file mode 100644
index 0000000..1861b82
--- /dev/null
+++ b/zsh/profile
@@ -0,0 +1,12 @@
+# -*- mode: shell-script -*-
+
+() {
+  local dir
+  for dir in ~/{.local/bin,bin} ${GOPATH:-~/go}/bin; do
+    [[ -d ${dir} ]] && path=(${dir} ${path})
+  done
+}
+
+source_if_exists dotfiles-${UNAME}/zsh/profile
+source_if_exists dotfiles-${DOMAIN}/zsh/profile
+source_if_exists dotfiles-${HOST}/zsh/profile
-- 
cgit v1.2.3-70-g09d2