Thanks to @robarago for this Rephone Arduino IDE for linux https://github.com/robarago/ArduinoGNULinux4RePhone. It works great.
Thanks to @robarago for this Rephone Arduino IDE for linux https://github.com/robarago/ArduinoGNULinux4RePhone. It works great.