Из-за этого нет возможности подзагрузить новые библиотеки, а в менеджере плат только стандартные ардуинки - не ввести плату esp8266.
Но через браузер сам переход на сайт github происходит без ошибок и есть возможность скачть и библиотеки и всё остальное. Но это не решает вопроса работоспособности. Сеть настроена и без прокси и с автоопределением параметров. Что делать?
Спасибо! Самое интересное, что совсем недавно всё это работало без проблем…
Но сейчас… Только установка портативной версии ArduinoIDE избавила от головной боли и вернуло веру в светлое будущее ))