Have been completely unable to upload any sketch onto a trinket board. I've modified by additional boards url, added the trinket boards, selected the trinket board. The error message I get is:
The selected serial port does not exist or
your board is not connected.
The board has a red flashing light as well as a solid green led lit and the pc makes a noise
when I click the trinket's reset button.
The operating system (Windows 10) shows the Trinket as a device and the USBTinyISP is showing up as a device driver (with no indications of any issues)
The Trinket was just a basic Adafruit Trinket Microcontroller 3.3v
After upgrading the operating system to Windows 11 and downloading a fresh copy of the Arduino ide and following the exact steps as before, everything works fine now. Now to see if Circuit Python will run on this thing... buts that's another story.
Update: oh, ok, I see the basic trinket doesn't support circuit python but the trinket m0 does.