From 1a3b9973c4c138a0edaa93213d4bf10b9ec01370 Mon Sep 17 00:00:00 2001
From: Fernando Schauenburg <dev@schauenburg.me>
Date: Fri, 15 Nov 2019 22:10:53 +0000
Subject: [PATCH] Remove $HOME/bin from PATH (use only $HOME/.local/bin)

---
 roles/bash/files/profile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/roles/bash/files/profile b/roles/bash/files/profile
index 2db3b9f..44588b9 100644
--- a/roles/bash/files/profile
+++ b/roles/bash/files/profile
@@ -49,7 +49,6 @@ while read -r dir; do prepend_dir "$dir" PATH; done <<EOL
     $LOCAL_PREFIX/opt/coreutils/libexec/gnubin
     $LOCAL_PREFIX/opt/gnu-sed/libexec/gnubin
     $HOME/.local/bin
-    $HOME/bin
 EOL
 
 # Prepend custom man directories to MANPATH if they exist, so that we get