Проверка скетча выдает ошибку: …/python3": executable file not found in %PATH%.
Она появляется при попытке использовать платы ESP, а на AVR все нормально компилится. Откуда взялся этот питон и как от него избавиться?
Дак уже избавился, видишь - not found.
Хе-хе. Имелось в виду, как избавиться от него в ошибке.
Непонятно, что этот питон вообще забыл в IDE, и почему так любит ЕСПшки.
Подозреваю, что IDE подцепила его вместе с библиотекой плат ESP с Гитхаба, откуда ее копировал, потому что не удалось установить через менеджер. А теперь непонятно что делать.
IDE под Windows, если что. Гуглеж выдает какие-то советы для линукса, и малополезные.
Ну, я бы, для начала попробовал переустановить ESP32 Core через менеджер плат.
…lookup github.com: no such host
Менеджер выдает всего два пакета ESP: от arduino и от espressif. И оба не устанавливаются - отсутствует хост. Буду признателен за правильную ссылку для менеджера плат.
Там вся работа с ESP на питоне построена
Не удалось установить платформу: ‘esp32:2.0.11’. 2 UNKNOWN: Get “https://github.com/espressif/crosstool-NG/releases/download/esp-2021r2-patch5/xtensa-esp32-elf-gcc8_4_0-esp-2021r2-patch5-win64.zip”: dial tcp: lookup github.com: no such host
Тогда как дать этому питону то, что он просит?
Текущая версия 3.0.6
Кстати, в документации на esp дается такой адрес: https://espressif.github.io/arduino-esp32/package_esp32_index.json
В выпадающем списке верхняя версия 2.0.11 от эспрессиф и 2.0.13 от ардуино.
Значит вам, ЛИЧНО ВАМ, работа с esp запрещена 
Из командной строки: ping github.com
Если тоже нотфаунд, то dns-сервер на другой, более лояльный, поменять в настройках сетевого адаптера.
нот фаунд(
Настройки сервера мне, увы, неподконтрольны.
Найди папку
c:\Users\“твой ник”\AppData\Local\arduino15\packages\esp32
и удали её полностью вручную.