Bei mir hats jetzt mit dem unter https://digistump.com/board/index.php?topic=1841.0 erwähnten Treiber funktioniert.
Alelrdings find ichs blöd, dass ich den DigiSpark immer aus- und wieder einstecken muss für jedes Hochladen. Klappt das bei dir auch ohne?
Hier zu Hause hab ich nen USB-Hub mit Schalter für jeden Port, da ist das nicht so nervig. Aber unterwegs ist mir das zu umständlich...