From 091259da79907e63e2c31d7a11b5cc8415432795 Mon Sep 17 00:00:00 2001 From: zegonix Date: Mon, 6 Jul 2026 16:38:55 +0200 Subject: [PATCH] (bash) void needs an update for arm-none-eabi- --- bash-conf-home/.bash_paths | 1 + 1 file changed, 1 insertion(+) 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