It's not really an IDE, but instead a bunch of command line tools that replace the functions of the Arduino IDE.
On December 7, 2018 10:28:48 AM CST, Jason <electron@emypeople.net> wrote:
Does anyone know if there is a console based Arduino IDE available for Debian? I am interested in making a portable programmer that could be taken out on a job to edit and upload Arduino programs on site, without messing with a mouse.