(bash) changed jlink path

2026-03-12 00:56:37 +01:00
parent 6fb5ddd218
commit ec030666cd
1 changed files with 1 additions and 1 deletions
--- a/bash-conf-home/.bash_paths
+++ b/bash-conf-home/.bash_paths
@@ -7,7 +7,7 @@
 # to find scripts and utilities

 export_paths=("${HOME}/dotfiles/scripts")
-export_paths+=("$HOME/tools/jlink")
+export_paths+=("/opt/jlink")

 for entry in ${export_paths[@]}; do
    if ! [[ -d "${entry}" ]]; then