JuliaPluto/Pluto.jl

Allow setting the log filtering granularity.

開放

#3,073 建立於 2024年10月23日

在 GitHub 查看貢獻者指南
 (2 則留言) (0 個反應) (0 位負責人)Julia (329 個分叉)batch import
frontendgood first issuelogging

倉庫指標

星標
 (5,295 顆星)
PR 合併指標
 (PR 指標待抓取)

描述

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.

貢獻者指南

研究方向
前端元件 Logs.js 第 9-10 行的硬編碼常數控制顯示的日誌層級。變更涉及使這些常數可配置，可能透過屬性或設定實現。請檢視現有的 Logs 元件如何使用這些常數。考慮為使用者新增一個配置選項以指定允許的日誌層級。問題中未找到維護者評論。
技術棧
javascript
領域
frontend
議題類型
功能
難度面向新貢獻者的預計實作難度，1 表示很小改動，5 表示專家級工作。
3
預計時間有經驗貢獻者完成調查、實作、測試並準備 pull request 的粗略時間範圍。
半天
活動狀態議題目前的可參與程度：新鮮、活躍、陳舊、阻塞或等待維護者輸入。
活躍
清晰度議題是否清楚說明預期改動、驗收標準和下一步。
清晰
前置要求
JavaScript
新手友善度1-100 的估計分數，表示該議題對首次貢獻者的友善程度。
70