JuliaPluto/Pluto.jl

Logging: use the JULIA_DEBUG ENV value

Open

Aperta il 14 mar 2023

Vedi su GitHub
 (1 commento) (3 reazioni) (0 assegnatari)Julia (5295 star) (329 fork)batch import
good first issuehelp welcomelogging

Descrizione

With the default logger (in the REPL), you can use the JULIA_DEBUG ENV variable to control the display of @debug logs: https://docs.julialang.org/en/v1/stdlib/Logging/#Environment-variables We should also support this feature in our custom PlutoLogger.

The default implementation is here: https://github.com/JuliaLang/julia/blob/6c2410361a6e413652ed89fb206d4dc6c2af89c9/base/logging.jl#L542 This looks pretty complicated, but maybe there is a way to call this mechanism directly from our code. It might be worth investigating how https://github.com/JuliaLogging/TerminalLoggers.jl did it.

Guida contributor