public-mirrors/3b1b-manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-08-05 16:49:03 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Small bug in how displayer had been refactored

Browse source
This commit is contained in:
Grant Sanderson 2016-01-06 17:51:37 -08:00
parent c16abfd6c8
commit 69be4328ce
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
displayer.py
View file

@ -134,8 +134,8 @@ def place_on_screen(points_and_rgbs, space_width, space_height):
def get_file_path(name, extension): def get_file_path(name, extension):
file_path = os.path.join(MOVIE_DIR, name) file_path = os.path.join(MOVIE_DIR, name)
if not file_path.endswith(".mp4"): if not file_path.endswith(extension):
file_path += ".mp4" file_path += extension
directory = os.path.split(file_path)[0] directory = os.path.split(file_path)[0]
if not os.path.exists(directory): if not os.path.exists(directory):
os.makedirs(directory) os.makedirs(directory)