I downloaded and installed Arduino IDE 1.8.13 (from the Arduino.cc website, not the repository) on Linux Mint 19.3. It is working fine and I have compiled lots of code for Arduino and ESP32 micro-controllers. I downloaded and updated the udev rules for Teensyduino. I downloaded and ran the Teensyduino 64-bit linux installer. It finds that the udev rules are correctly installed. It then prompts for the install location of the Arduino IDE. The Arduino IDE is installed in ~/.arduino15 (note the leading period, hidden folder). The file navigator doesn't show this folder and I can't find a way to type in a name. The installer won't continue as it doesn't see the Arduino IDE installation.
Thanks,
Mark
Thanks,
Mark