How to install Arduino 2.0 on Linux