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

rich.Progress bar for monitoring index builds #521

Merged
merged 2 commits into from
Oct 3, 2024
Merged

Conversation

jamesbraza
Copy link
Collaborator

Last week an index build went on for longer than 12 hours, and I had to stop it because i didn't know how close it was.

This PR adds a rich.Progress bar, with env var enable/disables, to make index builds slightly more user friendly.

@jamesbraza jamesbraza added the enhancement New feature or request label Oct 3, 2024
@jamesbraza jamesbraza self-assigned this Oct 3, 2024
@dosubot dosubot bot added the size:M This PR changes 30-99 lines, ignoring generated files. label Oct 3, 2024
markup=True,
show_path=False,
show_level=False,
console=Console(force_terminal=True),
Copy link
Collaborator Author

Choose a reason for hiding this comment

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

This Console(force_terminal=True) was leading to the progress bar being refreshed every printout, which re-renders it every print (and blowing up the terminal).

It's unclear why this is here, so I am removing this console=Console(force_terminal=True) part

Copy link
Collaborator

Choose a reason for hiding this comment

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

Didn't you add this?

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

No it was not me

@jamesbraza jamesbraza force-pushed the logging-progress branch 2 times, most recently from 4f0fd15 to 7c84bf0 Compare October 3, 2024 19:59
@dosubot dosubot bot added the lgtm This PR has been approved by a maintainer label Oct 3, 2024
@jamesbraza jamesbraza merged commit 57e6945 into main Oct 3, 2024
5 checks passed
@jamesbraza jamesbraza deleted the logging-progress branch October 3, 2024 23:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request lgtm This PR has been approved by a maintainer size:M This PR changes 30-99 lines, ignoring generated files.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants