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.

Sign up for GitHub

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

Jump to bottom

Enhancement: more verbose error reporting #7

Closed
mouse07410 opened this issue Jul 30, 2020 · 0 comments
Closed

Enhancement: more verbose error reporting #7

mouse07410 opened this issue Jul 30, 2020 · 0 comments
Assignees
@andreasabel
Labels
enhancement New feature or request UX User experience
Milestone
0.1

Comments

@mouse07410
Copy link

It would be nice if fix-whitespace would tell (a) what kind of error it discover, and more importantly, (b) where in the file it is. That would be particularly helpful for large non-trivial files.
@mouse07410 mouse07410 mentioned this issue Jul 30, 2020
Closed
@andreasabel andreasabel mentioned this issue Feb 4, 2023
Merged
3 tasks
ulysses4ever added a commit to ulysses4ever/fix-whitespace that referenced this issue Feb 9, 2023
@ulysses4ever
Display violations detected (fix agda#7)
3904635
ulysses4ever added a commit to ulysses4ever/fix-whitespace that referenced this issue Feb 9, 2023
@ulysses4ever
Display violations detected (fix agda#7)
cd33330
ulysses4ever added a commit to ulysses4ever/fix-whitespace that referenced this issue Feb 9, 2023
@ulysses4ever
Display violations detected (fix agda#7)
9713c27
ulysses4ever added a commit to ulysses4ever/fix-whitespace that referenced this issue Feb 9, 2023
@ulysses4ever
Display violations detected (fix agda#7)
9e770be
ulysses4ever added a commit to ulysses4ever/fix-whitespace that referenced this issue Feb 9, 2023
@ulysses4ever
Display violations detected (fix agda#7)
d93881b
@andreasabel andreasabel added enhancement New feature or request UX User experience labels Feb 11, 2023
@andreasabel andreasabel self-assigned this Feb 14, 2023
@andreasabel andreasabel added this to the 0.1 milestone Feb 14, 2023
@andreasabel andreasabel mentioned this issue Feb 14, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@andreasabel andreasabel

Labels
enhancement New feature or request UX User experience
Projects
None yet
Milestone
0.1
Development

No branches or pull requests
2 participants
@andreasabel @mouse07410