I’ve been trying to get the ESP32 installed, and I can’t get this file from the server at dl.espressif.com, because it doesn’t seem to be there. The top page goes to a nginx “Thanks for installing our web server” default page, and linking direct to the file through my browser doesn’t download anything beyond the first 160 bytes. GET does nothing, whether run as Admin or not.
Basically, is there a local mirror or anywhere else to get it, or a new location?
Anyone else have an issue with it not putting the files in the right place? I got an error that the files didn’t exist when I tried to compile, so I manually copied them from the GIT clone into the Arduino “tools” folder. Now it works great. Notable how much faster the ESP32 is than the ESP8266 to upload, etc.
I’m glad your first problem was solved (probably a network issue or a download link was being updated). You should put the folder inside the hardware folder, not the tools folder…
Downloading the directory directly from Github also works just fine, but to update you’ll need to delete the folder and download everything again from GitHub.