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.
Currently there is no easy way to filter out progress log events using
Logging.shouldlogAPI. This becomes annoying when usingJULIA_DEBUG.We can fix this by specifying a custom
_group. QuotingLogging.@logmsg:It seems to be a right thing to use here. @c42f Does this match with the design of Logging?
We'd able to use
EarlyFilteredLoggerfrom LoggingExtras.jl if we implement this.