The instructions on GitHub for setting up the Arduino IDE (https://github.com/PetoiCamp/OpenCatEsp32/blob/main/ESP32config/ESP32config.txt) don't match the instructions in the docs (https://docs.petoi.com/arduino-ide/upload-sketch-for-biboard) and the instructions here (https://docs.petoi.com/biboard/biboard-v0#id-3.2.1-set-up-esp32-development-environment - which are linked to from the Bittle Sketch upload instructions here https://docs.petoi.com/arduino-ide/upload-sketch-for-biboard) are also different.
What are the correct instructions?
I'm working on Linux but I assume the instructions are more-or-less the same for all 3 dev environments, so this is wrong for everybody.
p.s. I know the github repo instructions are wrong as the referenced directory doesn't exist, but I don't like guessing an IDE config parameter!
The one in ESP32config/ESP32config.txt is an old file when the code was uploaded two years ago. I just removed it to avoid confusion. Please refer to the https://docs.petoi.com/arduino-ide/upload-sketch-for-biboard page for the latest instructions.