@SigmaOne@toot.party i use my arduinos (but mostly esp32) with platformio (the cli tooling), works well and gives me free choice of editor
Small server part of the pixie.town infrastructure. Registration is closed.