Hi, I have installed the latest Arduino 1.8.9. Then I followed instructions from https://randomnerdtutorials.com/installing-the-esp32-board-in-arduino-ide-windows-instructions/
I entered https://dl.espressif.com/dl/package_esp32_index.json into the “Additional Board Manager URLs” field.
But when Tools->Board->Boards Manager is opened, there is no ESP32 on the list. Arduino shows this error: Error downloading https://dl.espressif.com/dl/package_esp32_index.json
Previously I have successfully added the ESP32 on my other Win7 computer, but now on this Win10 notebook it fails. Has anybody solved similar problem ?