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

Improvement to log rendering #34

Closed
opoudjis opened this issue Sep 12, 2024 · 0 comments
Closed

Improvement to log rendering #34

opoudjis opened this issue Sep 12, 2024 · 0 comments
Assignees
@opoudjis
Labels
enhancement New feature or request

Comments

@opoudjis
Copy link
Contributor

In order to make it easier to navigate the log:

  1. Add to the start of the log output page a table of contents with an error count
  2. In metanorma itself, add document attributes to filter which severities or groupings appear in the log output
@opoudjis opoudjis added the enhancement New feature or request label Sep 12, 2024
@opoudjis opoudjis self-assigned this Sep 12, 2024
@github-project-automation github-project-automation bot moved this to 🆕 New in Metanorma Sep 12, 2024
opoudjis added a commit that referenced this issue Sep 16, 2024
@opoudjis
index of errors in log: #34
caa0aa5
opoudjis added a commit that referenced this issue Sep 16, 2024
@opoudjis
filtering on category, severity: #34
740ab63
opoudjis added a commit that referenced this issue Sep 17, 2024
@opoudjis
filtering on category, severity: #34
9aa8970
opoudjis added a commit to metanorma/metanorma.org that referenced this issue Sep 17, 2024
@opoudjis
filtering error log: metanorma/metanorma-utils#34
8d34969
opoudjis added a commit to metanorma/metanorma-standoc that referenced this issue Sep 17, 2024
@opoudjis
filter on log by severity or category: metanorma/metanorma-utils#34
9672932
@github-project-automation github-project-automation bot moved this from 🆕 New to ✅ Done in Metanorma Sep 17, 2024
ronaldtse pushed a commit to metanorma/metanorma.org that referenced this issue Oct 13, 2024
@opoudjis @ronaldtse
filtering error log: metanorma/metanorma-utils#34
ea16c1c
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@opoudjis opoudjis

Labels
enhancement New feature or request
Projects
Metanorma
Status: ✅ Done
Milestone
No milestone
Development

No branches or pull requests
1 participant
@opoudjis