What Port? I want to thank Sean Beck [https://seanmckaybeck.com/] for bringing to my attention that I did not mention what port to use in the Arduino IDE in my first post [https://www.bacspc.com/2015/07/29/arch-linux-and-trinket/]. I thought this should be easy enough to remedy,

This is how I got the Adafruit Trinket to work with my Arch Linux. Start I have the latest Arduino IDE installed. You can get the latest IDE from Arduino.cc [https://www.arduino.cc/en/Main/Software]. As of this writing, it is version 1.6.5. If you