Web上のエディタでなく、ローカル端末上で開発したかったので調べました。 前提 以下の手順でPythonを導入済みであること。(まぁ、必要なものが入っていればどんな手順であっても良いのでしょうけど、実際に試した前提ということで。) ksino.hatenablog.com 必要なツールの導入 sudo apt-get install cmake ninja-build gcc-arm-none-eabi srecord libssl-dev pip install yotta pip install uflash micro:bitに書き込む ファイル名、書き込み先パスは適宜。 uflash hello.py /xxx/MICROBIT/