赤外線送信ライブラリのインストールから行います。IRremote Arduino Library のインストールSensorsIot/Arduino-IRremote: Infrared remote library for Arduin

前提Arduino IDE がインストールされていること今回使ったのは 1.8.9ESP32 ボードマネージャのインストールArduino IDE を開いてメニューから「ファイル」 - 「環境設定」を開きます。