Arduino ESP32環境を作るにはボード設定のJSONを書けば良い って感じではまだ無い。 gitで取ってくる
Macの場合、~/Library/LaunchAgent/uninstall.appを起動するとアンイストールできる
Adruino IDEが利用するArduino-create-agentがいつも立ち上がるのは気になるのでDisable Autostart $ launchctl unload ~/Library/LaunchAgents/ArduinoCreateAgent.plist
Web版のArduino IDEは、Pluginにより、Aruduinoを更新できる