I have a Raspberry Pi for experimental purposes, with Raspian installed as the OS. I downloaded Arduino using the terminal application, and I do have a working version of the Arduino IDE. However, the boards I can select do not include and ESP32 boards, and the Preferences choice in the menu has no place to include a URL to add to the board manager.
Did I get some outdated download of the IDE, or are those boards simply not available in the Linux version.
Thanks in advance for any insights.