I realize the digistump folk will probably answer this in due time when the digisparks start shipping, but what is the mechanism that will be used to downloading code to the digispark under Linux? I've heard that avrdude will not be used. The reason I asked, is I also backed the teensy 3.0 project, and I find I can't download code in my default configurations, and I wanted to be sure what the download path was like on the digispark.
Evidently when you press the reset/programming button on the teensy, it switches the USB type from a CDC modem to a HID device, the Linux kernel creates a /dev/hidraw device, the IDE then unloads the HIDRAW driver and loads its own driver to do the download. Unfortunately, on my systems, I have other HID devices and Linux refuses to unload the driver. I can download it on one system, if I unplug the UPS (which is a HID device), but not on the other system which uses HID devices for the keyboard and mouse (PS/2 -> USB adapters, and also bluetooth adapters). Hopefully, digispark doesn't do the downloads in this fashion.