Raspberry Pi、それもリモート環境だと、お世辞にも便利とはいえないArduino IDEが余計に不便に感じます。
幸い、公式がCLIツールを出してるので、そいつを導入してみます。
実際のところ
$ curl -fsSL https://raw.githubusercontent.com/arduino/arduino-cli/master/install.sh | sh
$ /home/shuzo/bin/arduino-cli core search esp32 --additional-urls https://dl.espressif.com/dl/pac kage_esp32_index.json ID Version Name esp32:esp32 1.0.6 esp32
~$ /home/shuzo/bin/arduino-cli core install esp32:esp32 --additional-urls https://dl.espressif.com /dl/package_esp32_index.json
~$ /home/shuzo/bin/arduino-cli lib install "M5_BM8563" --additional-urls https://dl.espressif.com/ dl/package_esp32_index.json Error installing M5_BM8563: Library 'M5_BM8563' not found ||> とか言われるが、ない。 手動で入れる方法もあるみたいだが、環境混乱が怖いので決断的旧式導入 >|| $ /home/shuzo/bin/arduino-cli lib install M5Stack@0.3.5 Downloading M5Stack@0.2.9... M5Stack@0.2.9 downloaded Installing M5Stack@0.2.9... Installed M5Stack@0.2.9
arduino-cli compile --fqbn esp32:esp32:m5stack-core-esp32 /home/shuzo/Arduino/libraries/M5Stack/examples/Basics/HelloWorld/HelloWorld.ino
arduino-cli upload --port /dev/ttyS4 --fqbn esp32:esp32:m5stack-core-esp32 /home/shuzo/Arduino/libraries/M5Stack/examples/Basics/HelloWorld/HelloWorld.ino