Arduinoのボードマネージャ―のダウンロードエラーの解決法

ESP32のボードをダウンロードしようとしたらハマったのでメモ。
エラーメッセージ

https://downloads.arduino.cc/packages/package_index.jsonのダウンロード時にエラーが発生しました

環境

• Windows10 home
• Arduino 1.8.9

症状

追加のボードマネージャを開こうとするとこのようにエラーが起こる。

原因

プロキシを設定していたため。

解決法

1. Windowsの設定>ネットワークとインターネット>プロキシ
   
2. 「プロキシサーバーを使う」 をオフにする
   
3. Arduinoを再起動し、ボードマネージャを開いてみる
   

これでエラーがなくなりました！