From d9dfea0e3cc7d420ee9e3f1ef7f87d9b1d3fdf67 Mon Sep 17 00:00:00 2001
From: Tobias Schmidl <t.schmidl@erhardt-leimer.com>
Date: Mon, 29 Jan 2018 16:25:54 +0100
Subject: [PATCH] added a plugin for local bin dirs

---
 local-bin.zsh | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 local-bin.zsh

diff --git a/local-bin.zsh b/local-bin.zsh
new file mode 100644
index 0000000..7738783
--- /dev/null
+++ b/local-bin.zsh
@@ -0,0 +1,8 @@
+# Make sure we include this file only once
+if [ -z $ZSH_LOCAL_BIN_ALREADY_SET ];
+then
+        export ZSH_LOCAL_BIN_ALREADY_SET=1
+        # set PATH so it includes user's private bin if it exists
+        [ -d "$HOME/.local/bin" ] && PATH="$HOME/.local/bin:$PATH"
+        [ -d "$HOME/bin" ] && PATH="$HOME/bin:$PATH"
+fi