(bash) path and .bash_profile

bash-conf-home/.bash_profile

@@ -2,10 +2,21 @@
 # ~/.bash_profile
 #
 
-scripts="${HOME}/dotfiles/scripts"
-if [[ -d "${scripts}" ]]; then
-    export PATH="${PATH}:${scripts}"
-fi
-unset scripts
+# KEEP THIS!
+# important for window manager and menu app (fuzzel, rofi, ..)
+# to find scripts and utilities
 
-export PATH="$PATH:$HOME/repos/jlink"
+export_paths=("${HOME}/dotfiles/scripts")
+export_paths+=("$HOME/tools/jlink")
+
+for entry in ${export_paths[@]}; do
+    if ! [[ -d "${entry}" ]]; then
+        continue
+    fi
+    if [[ "$PATH" == *"${entry}"* ]]; then
+        continue
+    fi
+    export PATH="${PATH}:${entry}"
+done
+
+unset export_paths