Vorrei segnalare questo post di MauroTec sull'uso di editor esterni per Arduino.
MauroTec:
Ho aggiornato il post Compilare progetti arduino su editor esterno - #4 by Maurotec - Software - Arduino ForumAnche io come tutti pensavo proprio che non ci fosse alcuna possibilità di fare il build di sketch Arduino dalla riga di comando e come si vede nel post mi sbagliavo e questo apre le porte a tutti gli editor come gedit (plugin) kate(plugin) Geany, ecc.
Mi sento contento, perché tornerò di tanto in tanto ad usare il core Arduino e le lib, grazie proprio ad ino tool.
http://inotool.org/Ciao.