123456789101112131415161718192021222324 |
- import os
- import tempfile
- from manimlib.config import get_custom_config
- from manimlib.config import get_manim_dir
- CUSTOMIZATION = {}
- def get_customization():
- if not CUSTOMIZATION:
- CUSTOMIZATION.update(get_custom_config())
- directories = CUSTOMIZATION["directories"]
- # Unless user has specified otherwise, use the system default temp
- # directory for storing tex files, mobject_data, etc.
- if not directories["temporary_storage"]:
- directories["temporary_storage"] = tempfile.gettempdir()
- # Assumes all shaders are written into manimlib/shaders
- directories["shaders"] = os.path.join(
- get_manim_dir(), "manimlib", "shaders"
- )
- return CUSTOMIZATION
|