Adding ESP32 boards into Arduino Download manager on Eclipse

Hi,

I'm using the latest Eclipse IDE (4.14.0) and ESP-IDF (4.0.0) downloads - native ESP-IDF works fine programming the DOIT boards I'm using...

I'd like to import some Arduino IDE projects as I prefer the Eclipse IDE (a lot of stuff is integrated with my projects there).

So, I've installed the "Eclipse C++ IDE for Arduino 3.0" plugin, but it only shows the default boards.

Can the various ESP32 boards be added to the Package/Platform part of the Arduino Download Manager in Eclipse? Is this even the right thing to try to do?

Many thanks

EDIT: Just to be completely clear, this is NOT a question about adding ESP32 board support into the Arduino IDE (that's easy). It's a question about adding ESP32 board support into the Arduino plugin for Eclipse...

Anyone?

?

It seems they get rather cross when you discuss Eclipse over here.

In any case, go to Window => Preferences => C/C++ => Arduino. That's where you add your JSON URLs, a la Arduino IDE.

Hope this helps.