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

Logger: add a way to filter logs #34

Closed
Heziode opened this issue Jan 31, 2023 · 1 comment
Closed

Logger: add a way to filter logs #34

Heziode opened this issue Jan 31, 2023 · 1 comment

Comments

@Heziode
Copy link

Heziode commented Jan 31, 2023

I do not find a way to filter result of logs.

For example, I want a file foo.adb to be in INFO or completely disable it, and a file bar.adb with a DEBUG severity.

Currently, all units are in DEBUG verbosity, and it is quite difficult to debug with the amount of log.
@Heziode
Copy link
Author

Heziode commented Jan 31, 2023

Found my answer here: https://ada-util.readthedocs.io/en/latest/Util_Log/#log-configuration

@Heziode Heziode closed this as completed Jan 31, 2023
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Heziode