Arduino IDE not seeing Digispark under Linux

[LEGOManiac]

I'm going bug-eyed combing through the forums and google looking for an answer to this...

I received my digisparks last week. Linux recognizes them as: Bus 004 Device 015: ID 16d0:0753 MCS Digistump DigiSpark

But when I run the IDE, I do not have an option for a serial port.

I have added 49-micronucleus.rules and 50-digispark.rules to /etc/udev/rules.d/  and restarted udev.

It would appear that the micronucleus rules apply to my boards.

Contents of 49-micronucleus.rules, without the comments:
SUBSYSTEMS=="usb", ATTRS{idVendor}=="16d0", ATTRS{idProduct}=="0753", MODE:="0666"
KERNEL=="ttyACM*", ATTRS{idVendor}=="16d0", ATTRS{idProduct}=="0753", MODE:="0666", ENV{ID_MM_DEVICE_IGNORE}="1"

Contents of 50-digispark.rules without the comments:
SUBSYSTEMS=="usb", ATTRS{idVendor}=="16c0", ATTRS{idProduct}=="05df", MODE:="0666"
KERNEL=="ttyACM*", ATTRS{idVendor}=="16c0", ATTRS{idProduct}=="05df", MODE:="0666", ENV{ID_MM_DEVICE_IGNORE}="1"

The board is successfully enumerated as per >udevadm monitor:
KERNEL[118592.821788] add      /devices/pci0000:00/0000:00:1d.0/usb4/4-1/4-1.5 (usb)
KERNEL[118592.822420] add      /devices/pci0000:00/0000:00:1d.0/usb4/4-1/4-1.5/4-1.5:1.0 (usb)
UDEV  [118592.827039] add      /devices/pci0000:00/0000:00:1d.0/usb4/4-1/4-1.5 (usb)
UDEV  [118592.828604] add      /devices/pci0000:00/0000:00:1d.0/usb4/4-1/4-1.5/4-1.5:1.0 (usb)

Then again, that was probably obvious since it showed up in lsusb....

I have reviewed the instructions at: http://digistump.com/wiki/digispark/tutorials/connecting

But, of course, they are for Windows and include an entry in the file->preferences tab that doesn't exist in the Linux version of the Arduino IDE. The reference is to reference the file in the "Additional Boards Manager URLs".

I downloaded http://digistump.com/package_digistump_index.json to my desktop anyway and examined it.
The files format does not resemble anything in ~/.arduino/preferences.txt so I decided to be cautious and not modify anything.

The format of package_digistump_index.json didn't resemble the format of /usr/share/arduino/hardware/arduino/boards.txt either so I left it alone.

So, at this point I'm out of ideas.

Can someone tell me how to make the Arduino Linux IDE recognize the digispark as a usb port?

BTW: my OS is Lubuntu 15.10, 64 bit

LEGOManiac

[dcerisano]

Use Arduino 1.8.5+
Follow instructions here: https://digistump.com/wiki/digispark/tutorials/connecting

Rebuild micronucleus here:
https://github.com/micronucleus/micronucleus/tree/master/commandline