挙動を追う必要があったので、メモ。
RasPiに構築したArduinoIDEのビルド関係ディレクトリは執筆時点で「.arduino15」です
１８系つかってんのになんで……？？
実際のところ
$ ls .arduino15 cache logs package_index.json.sig library_index.json package_esp32_index.json preferences.txt library_index.json.sig package_index.json staging
esp32構築中のpackage群状態はこんなもん
$ ls -la .arduino15/staging/packages/ 合計 91776 drwxr-xr-x 2 pi pi 4096 12月 10 12:12 . drwxr-xr-x 3 pi pi 4096 12月 10 01:07 .. -rw-r--r-- 1 pi pi 11955734 12月 10 10:57 esp32-1.0.3.zip -rw-r--r-- 1 pi pi 36853332 12月 10 12:11 esp32-1.0.4.zip -rw-r--r-- 1 pi pi 44762 12月 10 12:12 esptool-2.6.1-linux.tar.gz -rw-r--r-- 1 pi pi 40665 12月 10 12:12 mkspiffs-0.2.3-arduino-esp32-linux-armhf.tar.gz -rw-r--r-- 1 pi pi 45069040 12月 10 21:30 xtensa-esp32-elf-linux-armel-1.22.0-87-gb57bad3-5.2.0.tar.gz
