this workaround did not work for me. Seems that until PJRC wants to make a deb that supports the arduino deb we're stuck downloading ardino and running it separately.
this workaround did not work for me. Seems that until PJRC wants to make a deb that supports the arduino deb we're stuck downloading ardino and running it separately.