-
-
Notifications
You must be signed in to change notification settings - Fork 27
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Ability to reinstall a different version of a package #51
Comments
Yeah, sometimes we want to install a newer or old version during runtime, so I'm +1 for having the option to reinstall. A possible issue is that how we should deal with a package that is already imported. |
It's the same problem as pip installing things in a running Jupyter notebook. IMO users would still need to explicitly either calling |
We're running into this issue in the marimo playground. The playground comes packaged with I noticed that #64 has stalled, due to concerns about the need to reload modules. Is there a suggested workaround? |
Currently if a package is already installed, we can't re-install a different version,
On one side it's probably not ideal to do that, particularly given that micropip itself depends on packaging in this case. Still it feels like an arbitrary limitation. IMO in this case it would be better to uninstall the previous package version and install the new version.
The text was updated successfully, but these errors were encountered: