opensource/manim-slides
1
0
Fork 0
mirror of https://github.com/jeertmans/manim-slides.git synced 2025-05-19 19:46:49 +08:00
Code Issues Packages Projects Releases Wiki Activity

fix(convert): use hash to restrict the length of new filenames (#124)

Browse Source 
Closes #123
This commit is contained in:
Jérome Eertmans
2023-02-08 11:00:53 +01:00
committed by GitHub
parent b06250056d
commit 71564a4c2e
2 changed files with 27 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
manim_slides/config.py
View File

@ -1,3 +1,4 @@
import hashlib
import os
import shutil
import subprocess
@ -15,11 +16,18 @@ def merge_basenames(files: List[str]) -> str:
"""
Merge multiple filenames by concatenating basenames.
"""
logger.info(f"Generating a new filename for animations: {files}")
dirname = os.path.dirname(files[0])
_, ext = os.path.splitext(files[0])
basename = "_".join(os.path.splitext(os.path.basename(file))[0] for file in files)
basenames = (os.path.splitext(os.path.basename(file))[0] for file in files)
basenames_str = ",".join(f"{len(b)}:{b}" for b in basenames)
# We use hashes to prevent too-long filenames, see issue #123:
# https://github.com/jeertmans/manim-slides/issues/123
basename = hashlib.sha256(basenames_str.encode()).hexdigest()
return os.path.join(dirname, basename + ext)