You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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:
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.
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 importlib.reload or using an auto-reload plugin like in Jupyter.
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: