Thank you for reading this.
Theses are the steps that I took to gain support for the ESP32 board within the Arduino IDE:
sudo usermod -a -G dialout $USER &&
sudo apt-get install git &&
wget https://bootstrap.pypa.io/get-pip.py &&
sudo python get-pip.py &&
sudo pip install pyserial &&
mkdir -p ~/Arduino/hardware/espressif &&
cd ~/Arduino/hardware/espressif &&
git clone GitHub - espressif/arduino-esp32: Arduino core for the ESP32 esp32 &&
cd esp32/tools/ &&
python get.py
Initially, I didn't have the latest IDE installed and so the ESP boards didn't show up under "boards" but they did as soon as I installed the latest version of the IDE. I attempted to compile a simple blink sketch which had errors but unfortunately I didn't make a note of the errors and instead closed the IDE. When I reopened the IDE all support for the ESP32 board was missing.
I've looked at several tutorials and YouTube videos on the subject but I cannot see where I may have mad an error. Can anyone offer any suggestions?