logger_utils

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

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

无论是 logger 还是 console 都使用 rich 库来生成富文本格式。

类

JSONFormatter

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

函数

make_logger(parser, verbosity)[source]

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

Parameters:

  • parser (SectionProxy) – 一个包含正在使用的任何 .cfg 文件的解析器。

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

Returns:

manim 日志记录器和控制台。第一个控制台输出到标准输出，第二个输出到标准错误输出。所有都使用由parse_theme()返回的主题。

Return type:

logging.Logger, rich.Console, rich.Console

另请参阅

make_config_parser(), parse_theme()

注释

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

parse_theme(parser)[source]

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

Parameters:

parser (SectionProxy) – 一个包含正在使用的任何 .cfg 文件的解析器。

Returns:

manim 日志记录器使用的丰富主题。

Return type:

rich.Theme

另请参阅

make_logger()

set_file_logger(scene_name, module_name, log_dir)[source]

向manim日志记录器添加一个文件处理程序。

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

Parameters:

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

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

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

Return type:

无