Skip to content
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

chore: Add done. signal when package installation is completed #195

Merged
merged 3 commits into from
Jan 22, 2025

Conversation

gadenbuie
Copy link
Contributor

@gadenbuie gadenbuie commented Dec 26, 2024

In #194 we went back to calling

- micropip.install(pkg_name)
+ micropip.install(req)

because otherwise we lose information like the requested package version.

I thought this broke installation of package extras because it appeared that micropip.install() doesn't actually install the packages listed in an extra.

It turns out that extras aren't installed when the main package is already installed. In other words, micropip.install("shiny[theme]") will not install brand_yml and libsass because shiny is already installed, but micropip.install("httpx[socks]") will install socksio along with httpx because httpx isn't initially installed.

So in the end, this PR mostly just adjusts a few comments and improves the UX of the console message. As pointed out on Discord the messages say Installing {req} ... and the last message seems to hang. This PR adds done to each line when the package install finishes.

micropip.install() doesn't install extras but apparently it *acts like it does*.
It was pointed out on Discord that the current message approach
makes it look like the last installation has hung
@gadenbuie gadenbuie changed the title fix: Fix installation of extra packages chore: Add done. signal when package installation is completed Dec 27, 2024
@gadenbuie gadenbuie requested a review from cpsievert January 21, 2025 18:40
@gadenbuie gadenbuie merged commit 6af0f17 into main Jan 22, 2025
2 checks passed
@gadenbuie gadenbuie deleted the fix/install-extras branch January 22, 2025 16:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants