Skip to content

Use _group/_id/level to make it easier to filter out progress log events? #9

Description

@tkf

Currently there is no easy way to filter out progress log events using Logging.shouldlog API. This becomes annoying when using JULIA_DEBUG.

We can fix this by specifying a custom _group. Quoting Logging.@logmsg:

_group=symbol can be used to override the message group (this is normally derived from the base name of the source file).

It seems to be a right thing to use here. @c42f Does this match with the design of Logging?

We'd able to use EarlyFilteredLogger from LoggingExtras.jl if we implement this.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions