JuliaPluto/Pluto.jl

Allow setting the log filtering granularity.

オープン

#3,073 opened on 2024/10/23

 (2 件のコメント) (0 件のリアクション) (0 人の担当者)Julia (329 件のフォーク)batch import
frontendgood first issuelogging

Repository metrics

Stars
 (5,295 個のスター)
PR merge metrics
 (平均マージ 5d 12h) (30d で 13 merged PRs)

説明

Right now, Pluto filters out log messages which may or may not be desired. The way it does this is by two hardcoded constants at

https://github.com/fonsp/Pluto.jl/blob/b1cacd8e111ea4b04a2af6174ab08262dc381617/frontend/components/Logs.js#L9-L10

It would be good if the logging filtering could either be customized or turned off because sometimes you actually want to read the log messages you output.

コントリビューターガイド