Install Arduino
Follow this tutorial to install ESP32 support on arduino
If you have python3 installed and linked to python, you’ll need to direct arduino to use it
echo "alias python=python3" >> .bashrc
then open arduino from the terminal
arduino