From 2beb55727fd2387631b87c9d0bbf48e058e26928 Mon Sep 17 00:00:00 2001 From: Grant Sanderson Date: Wed, 25 Jan 2023 17:30:12 -0800 Subject: [PATCH] Change naming logic for recorded inserts --- manimlib/scene/scene_file_writer.py | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/manimlib/scene/scene_file_writer.py b/manimlib/scene/scene_file_writer.py index d17f1dbd..d288e7dd 100644 --- a/manimlib/scene/scene_file_writer.py +++ b/manimlib/scene/scene_file_writer.py @@ -293,13 +293,10 @@ class SceneFileWriter(object): self.write_to_movie = True self.init_output_directories() movie_path = self.get_movie_file_path() - folder, file = os.path.split(movie_path) - scene_name, ext = file.split(".") - n_inserts = len(list(filter( - lambda f: f.startswith(scene_name + "_insert"), - os.listdir(folder) - ))) - self.inserted_file_path = movie_path.replace(".", f"_insert_{n_inserts}.") + count = 0 + while os.path.exists(name := movie_path.replace(".", f"_insert_{count}.")): + count += 1 + self.inserted_file_path = name self.open_movie_pipe(self.inserted_file_path) def end_insert(self):