mirror of
https://github.com/jeertmans/manim-slides.git
synced 2025-05-22 04:56:24 +08:00
bd9bf06876
* chore(cli): remove unused PERF verbosity level As titled. * fix(tests): remove perf in tests
48 lines
1.0 KiB
Python
48 lines
1.0 KiB
Python
"""
|
|
Logger utils, mostly copied from Manim Community:
|
|
https://github.com/ManimCommunity/manim/blob/d5b65b844b8ce8ff5151a2f56f9dc98cebbc1db4/manim/_config/logger_utils.py#L29-L101
|
|
"""
|
|
|
|
import logging
|
|
|
|
from rich.console import Console
|
|
from rich.logging import RichHandler
|
|
|
|
__all__ = ["logger", "make_logger"]
|
|
|
|
HIGHLIGHTED_KEYWORDS = [ # these keywords are highlighted specially
|
|
"Played",
|
|
"animations",
|
|
"scene",
|
|
"Reading",
|
|
"Writing",
|
|
"script",
|
|
"arguments",
|
|
"Invalid",
|
|
"Aborting",
|
|
"module",
|
|
"File",
|
|
"Rendering",
|
|
"Rendered",
|
|
"Pressed key",
|
|
]
|
|
|
|
|
|
def make_logger() -> logging.Logger:
|
|
"""
|
|
Make a logger similar to the one used by Manim.
|
|
"""
|
|
RichHandler.KEYWORDS = HIGHLIGHTED_KEYWORDS
|
|
rich_handler = RichHandler(
|
|
show_time=True,
|
|
console=Console(),
|
|
)
|
|
logger = logging.getLogger("manim-slides")
|
|
logger.setLevel(logging.getLogger("manim").level)
|
|
logger.addHandler(rich_handler)
|
|
|
|
return logger
|
|
|
|
|
|
logger = logging.getLogger("manim-slides")
|