Hi,
I just ran into exactly the same problem. I have no idea what was going on, but deleting ~/.arduino/preferences.txt fixed it for me.
Hi,
I just ran into exactly the same problem. I have no idea what was going on, but deleting ~/.arduino/preferences.txt fixed it for me.