RasPiに構築したArduinoIDEのビルド関係ディレクトリ

挙動を追う必要があったので、メモ。
RasPiに構築したArduinoIDEのビルド関係ディレクトリは執筆時点で「.arduino15」です
18系つかってんのになんで……??

実際のところ

$ 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