The playground is a publicly-editable wiki about Arduino.
Manuals and Curriculum
Arduino StackExchange
Board Setup and Configuration
Development Tools
Arduino on other Chips
Interfacing With Hardware
Interfacing with Software
User Code Library
Suggestions & Bugs
Electronics Technique
Sources for Electronic Parts
Related Hardware and Initiatives
Arduino People/Groups & Sites
Exhibition
Project Ideas
Languages
Participate
Use the "Linux ARM' download from: https://www.arduino.cc/en/Main/Software.
DO NOT use sudo apt-get install arduino because you will get an extremely outdated and possibly non-standard version of the Arduino IDE.
sudo apt-get install arduino