proof of concept for downloading a file from microfs by pdg137 · Pull Request #216 · microbit-foundation/python-editor-v3

This is a proof of concept for accessing the microfs filesystem on the micro:bit. This is the only non-volatile data storage option for the micro:bit, so it seems like we should offer a way to access it.

Note that I don't know what I'm doing with Node/Typescript/React at all and have just barely gotten it to work. So this is definitely a draft request! But I thought it was worth putting it up here in case anyone has feedback.

  • Is this something the maintainers would be interested in including as a feature?
  • Any general comments on my approach?
  • Specific suggestions about how to structure the code?

How to use it

Here's an example program that will write 100 lines to data.txt:

from microbit import *
from os import *
import random

file = open("data.txt", "w")
for i in range(100):
    file.write(str(random.randint(1,100))+" hello!!\r\n")
file.close()

display.show("!")

The data download button is here:

image

Currently it just looks for a file with that name and downloads it. There's no error handling, for example if the file does not exist, and no timeouts at all. Assuming all goes well, your browser should pop up a download dialog or just save data.txt to your Downloads folder.