ESP32でMicropythonが動いていますが、REPLで毎度コードをペーストするのも大変です。 ファイルをESP32にダウンロードするツールがあるのではないかと探してみたら、uPyCraftというツールを見つけました。 Introduction · uPyCraft_en Windowsでも動作しますし、エディタとコンソールが一体化していてなかなか便利そうです。 使い方も難しくはなく、設定としてはMicropythonが動作しているESP32のシリアルポートをメニューの「Tools」→「Serial」から選択すれば完了です。 このツールはもともとFireBeetle ESP32という開発ボード用に作られたもののようです。 中国の会社の製品のようですが、DevKitCとそれほど違いがあるわけではなく、問題なく使用できました。 Arduinoのように、「File」→「Examples」に