配置文件
如上一个示例所示,从命令行执行 Manim 可能涉及同时使用多个标志。如果您必须在短时间内多次执行相同的脚本,这可能会变得很麻烦,例如,当对场景脚本进行小的增量调整时。因此,Manim也可以使用配置文件进行配置。配置文件是一个以 .cfg
后缀
要在渲染场景时使用本地配置文件,您必须创建一个manim.cfg
文件,其名称与场景代码位于同一目录中。
配置文件必须命名为manim.cfg
。目前,Manim不支持具有任何其他名称的配置文件。
配置文件必须以 section header[CLI]
开头。 此标头下的配置选项与 CLI 标志具有相同的用途。以下配置文件为例。
[CLI]
# my config file
output_file = myscene
save_as_gif = True
background_color = WHITE
配置文件使用标准 python libraryconfigparser
进行解析。 特别是,他们将忽略任何以 Pound symbol #
开头的行。
现在,执行以下命令
manim -o myscene -i -c WHITE <file.py> SceneName
等同于执行以下命令,前提是该命令manim.cfg
与 <file.py> 位于同一目录中,
manim <file.py> SceneName
配置文件中可接受的配置选项的名称是与相应命令的长名称完全相同 -行标志。例如,-c
和--background_color
标志是可互换的,但配置文件只接受background_color
作为允许的选项。
由于配置文件旨在替换 CLI 标志,因此所有 CLI 标志都可以通过配置文件进行设置。此外,任何配置选项都可以通过配置文件进行设置,无论它是否有关联的 CLI 标志。请参阅本文档底部以获取所有 CLI 标志和配置选项的列表。
Manim 将在与正在渲染的文件相同的目录中查找配置文件,而不是在执行目录中。 例如manim.cfg
manim -o myscene -i -c WHITE <path/to/file.py> SceneName
将使用path/to/file.py
中找到的配置文件(如果有)。它不会使用当前工作目录中的配置文件,即使它存在。通过这种方式,用户可以为不同的场景或项目保留不同的配置文件。
此处描述的文件称为文件夹范围的配置文件,因为它影响在同一文件夹中找到的所有场景脚本。
Last updated