1. изначально: v2.3.10 запускается, но вижу тупо белое окно без менюшек: надо в первый раз скачать доступные платформа, а arduino (из-за qualcomm) сейчас стала не свободной платформой для обучения, а коммерческим продуктом с политической подоплёкой: блокирование доступа из российских/иранских/белорусских и прочих IP
2. v1.8.19 скачал, запустил, она видимо в обход qualcomm'овских серверов скачала платформы, я добавил свои платформы и библиотеки
3. после этого начала нормально открываться v2.3.10 и я наконец-то через настройки прокси смог добавить свой локально развёрнутый socks5 прокси который трафик через иностраную страну гонит
Сейчас всё работает без проблем. Надо было (и LLM не помогли, лишь время потратил): в ~/.arduinoIDE/arduino-cli.yml
network:
proxy: socks5://localhost:ABCD
Если бы сразу сделал, то и не надо было бы 1.8.19 запускать, но не знал. И не подсказали.