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.seek_full_path_from_defaults(file_name, default_dir, extensions)¶

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

当前目录下file_name文件
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的合并中用到)