I downloaded the plugin for linux, but it appears to be for a 64 bit system. Is there a version for 32 bit linux?
Hi, there is not a 32bit prebuilt binary but you can create your own using the source code here: GitHub - arduino/arduino-create-agent: The Arduino Create Agent
Not yet, because there were some issues with the trayicon libraries and so the support for linux 32bit was low priority.
We are working on it, though.
Thanks!