ESP32 with arduino-cli
arduino-cli install
wget https://downloads.arduino.cc/arduino-cli/arduino-cli_latest_Linux_ARM64.tar.gz
tar -xf arduino-cli_latest_Linux_ARM64.tar.gz
sudo cp arduino-cli /usr/bin
arduino-cli config init
cat /home/jacky/.arduino15/arduino-cli.yaml
should be:
board_manager:
additional_urls:
- https://espressif.github.io/arduino-esp32/package_esp32_index.json
network:
connection_timeout: 1800s
and then
arduino-cli core update-index
arduion-cli core install esp32:esp32