Raspberry Pi (Pico 以外の 3,4,Zero など Linix OS が稼働するもの)の開発環境として、入門レベルで Tonny や VNC を使ってみたけれどもどうもエディターの使い勝手がイマイチなので、高機能 IDE リモート開発 (remote development) できる環境を調べてみま…