Allow mpremote mip to download libraries as local files
Description
Background
Currently the easiest way to install micropython-lib packages is with mpremote mip install.
However, when using such packages, there's no syntax highlighting and pylance checking.
Adding such packages to import paths for pylance is not trivial, especially since micropython mip has a custom manifest format.
Suggestion
I suggest adding a new subcommand to mpremote mip -- "download", inspired by pip download command.
This command will work just like mip install, but:
- would download files to local fs instead of connected MicroPython board
- would not require a MicroPython board to be connected to work
Then this mpremote mip download command can be used to download packages into a subdirectory added to import paths for IDE/Pylance/linter, and proper tooling can be utilised while using upstream micropython-lib packages.
Code Size
No response
Implementation
I intend to implement this feature and would submit a Pull Request if desirable
Code of Conduct
Yes, I agree
MPRemote: Create separated source package or repository
Description
Because Arch linux maintainers complains about pip-way of package installation in PKGBUILD and they want to build it more Pythonic/Arch linux way it would be nice to have mpremote sources somehow separated from main tree, so PKGBUILD will NOT download 120MB just because of 240kB tool in order to build.
Maybe some release workfow can just separately pack mpremote and put it beside of whole source here at github releases.
Check
https://wiki.archlinux.org/title/Python_package_guidelines#Installation_methods
and it related issue
https://aur.archlinux.org/packages/mpremote#comment-1047502
Code Size
It is not micropython related, but mpremote is part of this repository, unfortunately.
Implementation
I intend to implement this feature and would submit a Pull Request if desirable
Code of Conduct
Yes, I agree