Robin2:
Thanks That was very useful
You're welcome. It's not everyday that I post something Robin2 didn't know about already!
Robin2:
My question is, isn't there an easy way to do this, just by downloading a zip file, extracting it and copying the contents to the "hardware" folder?
It's not quite that simple, but yes you can do that by following the "Using Arduino IDE with the development repository " instructions here:
This installation method is primarily intended for beta testers and developers so it's going to install the beta core from the tip of the master branch. If you prefer to run the core at its release state then you can run the command:
git checkout 1.0.2
at the step of the instructions after the command:
cd esp32 && \
1.0.2 happens to be the latest stable release currently. You can see the releases listed here:
There is a release candidate available 1.0.3-rc1 that is perhaps good for those who want cutting edge, but with a bit more likelihood of stability.
Robin2:
That's all I had to do to install the other cores that I have.
Yes, but likely those were simple AVR cores that were able to share the tools that come installed with the Arduino IDE for Arduino AVR Boards. It's more complicated for ESP32 because it needs a complete toolchain installed along with the hardware definitions and libraries. It's also a bit more complicated because ESP32 developers used some submodules in their repository (actually I think it might be down to only one submodule now). Luckily, the ESP32 developers made the manual installation process super easy by providing excellent instructions and a Python script that handles the installation of the toolchain.
Robin2:
Somewhat separately, I believe there is an option to create a "portable" folder in the folder that contains the IDE code and (I believe) the IDE will put cores and the sketchbook in there. But I presume that makes everything specific to one version of the IDE, whereas with my existing system the same sketchbook is used by my different versions of the IDE.
Yes. When the Arduino IDE is in portable mode the cores you install via Boards Manager are installed to the portable/packages subfolder of the Arduino IDE installation folder. It does configure the sketchbook folder to be inside the portable folder by default, but you can set any sketchbook location you like via File > Preferences > Sketchbook location. So you can easily share the same sketchbook between multiple portable installations of the Arduino IDE if you like. However, the cores installed via Boards Manager are more specific to that particular Arduino IDE installation (though I suppose you could work around that with symlinks).