diff --git a/manim/scene/scene_file_writer.py b/manim/scene/scene_file_writer.py index 1891588675..d9e509de89 100644 --- a/manim/scene/scene_file_writer.py +++ b/manim/scene/scene_file_writer.py @@ -700,9 +700,8 @@ def clean_cache(self): ) oldest_files_to_delete = sorted( cached_partial_movies, - key=os.path.getatime, + key=lambda path: path.stat().st_atime, )[:number_files_to_delete] - # oldest_file_path = min(cached_partial_movies, key=os.path.getatime) for file_to_delete in oldest_files_to_delete: file_to_delete.unlink() logger.info( diff --git a/manim/utils/file_ops.py b/manim/utils/file_ops.py index 1bbb048214..ae06561991 100644 --- a/manim/utils/file_ops.py +++ b/manim/utils/file_ops.py @@ -183,7 +183,7 @@ def modify_atime(file_path: str) -> None: file_path The path of the file. """ - os.utime(file_path, times=(time.time(), os.path.getmtime(file_path))) + os.utime(file_path, times=(time.time(), Path(file_path).stat().st_mtime)) def open_file(file_path, in_browser=False):