diff --git a/bash-conf-home/.bash_paths b/bash-conf-home/.bash_paths index c85d635..be71e73 100644 --- a/bash-conf-home/.bash_paths +++ b/bash-conf-home/.bash_paths @@ -11,6 +11,7 @@ export_paths+=("${HOME}/dotfiles/scripts") export_paths+=("${HOME}/dotfiles/desktop-files") export_paths+=("/opt/jlink") export_paths+=("${HOME}/.cargo/bin") +export_paths+=("/opt/arm-gnu-toolchain-15.2.rel1-x86_64-arm-none-eabi/bin") for entry in ${export_paths[@]}; do if ! [[ -d "${entry}" ]]; then