(bash) void needs an update for arm-none-eabi-

2026-07-06 16:39:37 +02:00
parent b2ffead66b
commit 091259da79
1 changed files with 1 additions and 0 deletions
@@ -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