FILE_ops

manimlib/utils/file_ops.py 这个文件中主要实现了处理文件有关的函数


manimlib.utils.file_ops.add_extension_if_not_present(file_name, extension)

如果 file_name 没有扩展名 extension,则加上扩展名


manimlib.utils.file_ops.guarantee_existence(path)

返回 path 的绝对路径

  • 若 path 不存在,则创建


manimlib.utils.file_ops.find_file(file_name, directories=None, extensions=None)

从默认值中查找完整路径,默认路径如下

  1. 当前目录下 file_name 文件

  2. default_dir 下 file_name 文件和加上扩展名 extensions 的文件


manimlib.utils.file_ops.get_sorted_integer_files(directory, min_index=0, max_index=inf, remove_non_integer_files=False, remove_indices_greater_than=None, extension=None)

获取根据整数排序的文件 (在 partial_movie_files 的合并中用到)