diff --git a/bash-conf-home/.bash_paths b/bash-conf-home/.bash_paths index 844f17b..cfe6665 100644 --- 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