Error Downloading http://downloads.arduino.cc/packages/package_index.json がでたときの対処法 Boards Manager - Error Downloading http://downloads.arduino.cc/packages/pack... C:\Users...\AppData\Local\Arduino15以下の jsonファイルを消してIDE…

デフォルトのarduino IDEではESP32をすぐには動かせない 以下を行う必要がある。 ① 設定 > 環境設定に行き、追加のポートマネージャーに下記を入力 https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json ② ツール …