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

Add simple download progress tracker #6098

Merged
merged 7 commits into from
Dec 2, 2023

Conversation

horriblename
Copy link
Contributor

@horriblename horriblename commented Nov 26, 2023

#5925

Adds a progress bar when downloading a platform

The progress bar looks like this:

[0.1 / 72.5 MB]

It should be easy to use idicatif for a more graphical bar in the future, but I think this one is good enough

@horriblename horriblename marked this pull request as ready for review November 26, 2023 13:09
@horriblename horriblename force-pushed the feat-download-progress branch 2 times, most recently from 9eeadf8 to 96a5043 Compare November 26, 2023 14:13
crates/packaging/src/https.rs Outdated Show resolved Hide resolved
crates/packaging/src/https.rs Outdated Show resolved Hide resolved
@horriblename
Copy link
Contributor Author

progress bar now prints this if we don't know the total size:

[0.1 MB]

otherwise this:

[0.1 / 70.0 MB]

Copy link
Contributor

@bhansconnect bhansconnect left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for your contribution 🎉

Hopefully tests all pass and I can get it merged

@bhansconnect bhansconnect merged commit d982764 into roc-lang:main Dec 2, 2023
16 checks passed
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