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