bash: tweak path

diff --git a/dot-bash_profile b/dot-bash_profile
index c0cf92f33e2bdacb888d2fb08d7cbd1fcba8637c..88f4cca31fbf4b47e94cabda8b012b44eb7e0c96 100644 (file)
--- a/dot-bash_profile
+++ b/dot-bash_profile
@@ -1,6 +1,12 @@
 #!/bin/bash
 
-export PATH="$PATH:$HOME/Applications:$HOME/go/bin:$HOME/.cargo/bin:/opt/android-sdk/platform-tools:$HOME/.local/bin"
+export PATH="$PATH:$HOME/Applications:$HOME/go/bin:$HOME/.cargo/bin:/opt/android-sdk/platform-tools"
+
+# User specific environment
+if ! [[ "$PATH" =~ "$HOME/.local/bin:$HOME/bin:" ]]; then
+    PATH="$HOME/.local/bin:$HOME/bin:$PATH"
+fi
+export PATH
 
 export EDITOR="kak"
 export VISUAL="kak"