updated .bash_paths

feat(bash_paths): ### CUSTOM PATH BASH FILE ###

- ~/bin und ~/.local/bin nur einfügen, wenn vorhanden
- doppelte Einträge verhindern
- Pfad-Handling getrennt von anderen Einstellungen

userprofiles/pl/.bash_paths

@@ -1,4 +1,18 @@
 ### CUSTOM PATH BASH FILE ###
 
-# Persönliches bin-Verzeichnis
+# ~/bin und ~/.local/bin vorne anhängen, falls vorhanden
-export PATH="$HOME/bin:$PATH"
+if [ -d "$HOME/bin" ]; then
+  case ":$PATH:" in
+    *":$HOME/bin:"*) : ;;
+    *) PATH="$HOME/bin:$PATH" ;;
+  esac
+fi
+
+if [ -d "$HOME/.local/bin" ]; then
+  case ":$PATH:" in
+    *":$HOME/.local/bin:"*) : ;;
+    *) PATH="$HOME/.local/bin:$PATH" ;;
+  esac
+fi
+
+export PATH