Arduino IDE ESP32マネージャ

久しぶりにESP32をいじくろうと思ってArduino IDEとESP32マネージャをインストールしてみます。 Arduino IDEにESP32マネージャをインストールする方法は2通りあるのでメモしておきます。