This is the procedure (from the link above) that I followed to install Teensy board management on my Beelink mini computer
that is currently running Arduino 2.2.3 via AppImage.
----------------------------------
Install boards manager:
In Arduino IDE:
Files --> Preferences --> Settings tab
at the bottom, under "Additional boards manager URLs:"
click icon to the far right (with double interlocking squares)
dialogue box opens: "Enter additional URLs, one for each row"
Back in Arduino IDE main screen,
Tools --> boards --> Boards manager
The boards manager will open in the left sidebar
In top search filter bar, enter "Teensy"
It should find and list "Teensy (for Arduino IDE 2.0.4 or later)"
click Install
1.59.0 was installed
A text file will be displayed. This is the udev rules file.
Select all and copy, then paste into a new text file.
Save the new text file to your Desktop or wherever else you have file manager permissions.
Save the text file as filename: 00-teensy.rules
Open a terminal.
$ cd ... to Desktop (or wherever you put the teensy.rules file)
$ sudo cp 00-teensy.rules /etc/udev/rules.d
you may want to ls the rules.d folder to be sure the file is there.
----------------------------------
done ...
It appears that with my IDE 2,3,2, I do not need to separately install the "loader" app.
...
...
Proceeding on that assumption:
Here's what I tried:
Open IDE 2.3.2 (AppImage)
Open easiestBlink program into IDE
Plug in Teensy. Confirm in-board blink program operates.
Tools --> Board --> select Teensy 4.0
Tools --> Port - none selected
Tools --> USB Type: "Serial"
Click Verify in IDE.
Note loader will open (probably minimized to task bar)
Pressed PB on Teensy. Red LED came on, stayed on, nothing else happened.
Clicked upload in IDE.
Upload error: read ECONNRESET
not this time...
Error:
"Teensy should be selected from "teensy ports" rather than "Serial ports" in Arduino's Tools > Port menu
No Teensy boards were found on any USB ports of your computer.
Please press the PROGRAM MODE BUTTON on your Teensy to upload your sketch.
Failed uploading: uploading error: exit status 1"