Raspberry Pi als Entwicklungsumgebung für Arduino

Ja, ich habe schon einiges mit dem RasPi gemacht u.a. auch Projekte mit dem Arduino.
Die Arduino IDE ist teilweise sehr träge mit dem RasPi, das brigt nicht wirklich Spaß.
Für gelegentliche Anwendungen sicherlich machbar.