From e657c1a3fc932f27281b9ba1ecbc2329b948efc0 Mon Sep 17 00:00:00 2001
From: Andrejus <git@andrejus.uk>
Date: Wed, 15 Jul 2020 21:47:20 +0100
Subject: [PATCH] Update .profile

---
 files/.profile | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/files/.profile b/files/.profile
index 1c9b92e..0d31118 100644
--- a/files/.profile
+++ b/files/.profile
@@ -1,13 +1,9 @@
 if [ -z "$PROFILE_LOCK" ]; then
     export PROFILE_LOCK=1
 
-    # set PATH so it includes user's private bin if it exists
-    if [ -d "$HOME/bin" ]; then
-        export PATH="$HOME/bin:$PATH"
-    fi
-    if [ -d "$HOME/.local/bin" ]; then
-        export PATH="$HOME/.local/bin:$PATH"
-    fi
+    # set PATH so it includes user's private bin
+    export PATH="$HOME/bin:$PATH"
+    export PATH="$HOME/.local/bin:$PATH"
 
     # config
     if [ -z "$XDG_DATA_HOME" ]; then