Best Arduino IDE for using in Raspberry PI

Hi,

my doubt is which Arduino IDE version is better to isntall in a Raspberry Pi? - direct download from arduino.cc - Arduino IDE that appears when you look for "arduino" in Raspberry Software Managmente application.

Thanks and best regards,

Aingeru

Use the "Linux ARM" version of the official Arduino IDE downloaded from: http://www.arduino.cc/en/Main/Software