Datasheet
Then, select USBtinyISP from the Tools->Programmer sub-menu
Plug in the Trinket, make sure you see the green LED lit (power good) and the red LED pulsing.
Press the button if the red LED is not pulsing, to get into bootloader mode.
Click the Upload button (or select File->Upload)
© Adafruit
Industries
https://learn.adafruit.com/introducing-trinket Page 35 of 65