From: Andre Ramnitz <andy@ANDY-PC.fritz.box>
Date: Wed, 3 Dec 2025 16:32:07 +0000 (+0100)
Subject: bash: tweak path
X-Git-Url: https://git.ramnitz.eu/?a=commitdiff_plain;h=43dc0cd0e4fe3078276e7f0374e7ad88225e6dae;p=dotfiles.git

bash: tweak path
---

diff --git a/dot-bash_profile b/dot-bash_profile
index c0cf92f3..88f4cca3 100644
--- 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"