opensource/manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-08-02 02:35:22 +08:00
Code Issues Packages Projects Releases Wiki Activity

add auto config guide

Browse Source
This commit is contained in:
Tony031218
2021-02-07 17:45:18 +08:00
parent 2394bdc2e6
commit e3d09d161c
5 changed files with 112 additions and 120 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
manimlib/config.py
View File

@ -8,6 +8,7 @@ import yaml
from screeninfo import get_monitors
from manimlib.utils.config_ops import merge_dicts_recursively
from manimlib.utils.init_config import init_customization
def parse_cli():
@ -98,6 +99,11 @@ def parse_cli():
"--file_name",
help="Name for the movie or image file",
)
parser.add_argument(
"--config",
action="store_true",
help="Guide for automatic configuration",
)
parser.add_argument(
"-n", "--start_at_animation_number",
help="Start rendering not from the first animation, but"
@ -152,9 +158,18 @@ def get_module(file_name):
def get_custom_defaults():
filename = "custom_defaults.yml"
manim_defaults_file = os.path.join(get_manim_dir(), "manimlib", "defaults.yml")
with open(manim_defaults_file, "r") as file:
custom_defaults = yaml.safe_load(file)
global_defaults_file = os.path.join(get_manim_dir(), "manimlib", "defaults.yml")
if not (os.path.exists(global_defaults_file) or os.path.exists(filename)):
print("There is no configuration file detected. Initial configuration:\n")
init_customization()
if os.path.exists(global_defaults_file):
with open(global_defaults_file, "r") as file:
custom_defaults = yaml.safe_load(file)
else:
with open(filename, "r") as file:
local_defaults = yaml.safe_load(file)
# See if there's a custom_defaults file in current directory,
# and if so, it further updates the defaults based on it.