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,