logger_utils

用于创建和设置日志记录器的实用程序。

Manim 的日志记录器在导入库后，可以通过 manim.logger 或 logging.getLogger("manim") 访问。Manim 还导出第二个对象 console，该对象应仅用于在屏幕上打印不需要记录的消息。

logger 和 console 都使用 rich 库生成富文本格式。

类

JSONFormatter

一个以自定义 JSON 格式输出日志的格式化器。

函数

make_logger(parser, verbosity)

创建 Manim 日志记录器和控制台。

参数:

• parser (SectionProxy) – 包含正在使用的所有 .cfg 文件的解析器。

• verbosity (str) – 日志记录器的详细程度级别。

返回:

Manim 日志记录器和控制台。第一个控制台输出到 stdout，第二个输出到 stderr。它们都使用 parse_theme() 返回的主题。

返回类型:

logging.Logger, rich.Console, rich.Console

另请参阅

make_config_parser(), parse_theme()

注意

假定 parser 仅包含与在顶层配置日志记录器相关的选项。

parse_theme(parser)

配置日志记录器和控制台输出的富文本样式。

参数:

parser (SectionProxy) – 包含正在使用的所有 .cfg 文件的解析器。

返回:

Manim 日志记录器将使用的富文本主题。

返回类型:

rich.Theme

另请参阅

make_logger()

set_file_logger(scene_name, module_name, log_dir)

为 Manim 日志记录器添加一个文件处理器。

文件路径是使用 config.log_dir 构建的。

参数:

• scene_name (str) – 场景名称，用于日志文件名中。

• module_name (str) – 模块名称，用于日志文件名中。

• log_dir (Path) – 存储日志文件的文件夹路径。

返回类型:

无