Beginners question - Support for esp32 within Arduino IDE

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?

The easiest and fastest solution is probably to back up your Arduino sketches, then just uninstall / delete your entire Arduino installation and start from scratch.
Be sure to delete your settings as well, they're in a separate (hidden) folder: https://www.arduino.cc/en/Hacking/Preferences.

Pieter

Thank you for your reply Pieter.

I've solved the problem, after a good night's sleep. The Espressif files and the ~/Arduino files should, of course, be in the same directory. One was Arduino and the other was ~/arduio-1.8.4.