docs: mpremote run command
Documentation URL
https://docs.micropython.org/en/latest/reference/mpremote.html#mpremote-command-run
Description
If you have a main.py on the device and invoke mpremote run /home/davef/main.py then the main.py on the device runs. To work on /home/davef/main.py and run that you can not have a main.py on the device.
Code of Conduct
Yes, I agree
tools/mpremote: Add manifest function.
Add manifest command to mpremote which will compile a manifest.py from the specified folder, eg:
$ MPY_DIR=../../micropython
$ PORT_DIR=../../micropython/ports/esp32
$ mpremote manifest .
This will assemble / mpy-cross everything specified in the manifest.py into the folder _manifest.
If the current folder is also mounted, this folder will automatically be added to the path, eg:
$ mpremote manifest . mount .
Alternatively, the built folder can by copied / synched to the device, in which case
the copied folder will be added to the path:
$ mpremote manifest -s .
A soft-reset will re-process the manifest file to include any local updates allowing fast development of local files in a larger project without needing to copy / import-over-mount all files every reset.
Ideally, if the mpy_cross python package is installed from pypi, the local MPY_DIR=../../micropython variables will not need to be specified (unless your local manifest uses them directly`