标签： javascript web-bluetooth bbc-microbit
我们使用Workbench平台，该平台提供了可视逻辑编辑环境，可使用WebBluetooth与micro：bit设备进行交互。
为了初始设置micro：bit，用户必须使用Workbench提供的.hex文件手动刷新设备。这会在micro：bit上运行某种服务器，该服务器允许Workbench通过蓝牙进行连接。
为了使我们的用户更轻松，我们最好使用OTA刷新micro：bit设备。
如果可能的话，一个人将如何处理呢？