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

Progress reporting #405

Open
michaelpj opened this issue Jun 10, 2023 · 1 comment
Open

Progress reporting #405

michaelpj opened this issue Jun 10, 2023 · 1 comment
Labels
good first issue Good for newcomers ZuriHac

Comments

@michaelpj
Copy link
Contributor

At the moment we don't give good feedback to the user when the build tool is building stuff. Ideally, we would show something like "Building dependencies 54/500" or something via progress reporting.

However this is pretty hard to do well since we just shell out to the build tool and don't have a proper interface. Nonetheless, a hacky implementation in terms of parsing the stdout or something would be really nice for users and so I think it's probably worth it.

We'd need two things:

  1. An interface for progress reporting for cradles
  2. An implementation of some kind of progress reporting for, say, cabal
@michaelpj
Copy link
Contributor Author

Pablo is looking at this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
good first issue Good for newcomers ZuriHac
Projects
Status: In Progress
Development

No branches or pull requests

1 participant