opensource/manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-07-29 21:12:35 +08:00
Code Issues Packages Projects Releases Wiki Activity

Added a way to easily customize the media directory

Browse Source
This commit is contained in:
rajdakin
2018-05-24 20:59:37 +02:00
parent 1d23a01a3a
commit 9e3c0d0c8b
2 changed files with 35 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -14,3 +14,4 @@ manim.sublime-project
manim.sublime-workspace manim.sublime-workspace
primes.py primes.py
/media_dir.txt

46
constants.py
View File

@ -1,12 +1,40 @@
import os import os
import numpy as np import numpy as np
# Things anyone wishing to use this repository for their env_MEDIA_DIR = None
# own use will want to change MEDIA_DIR = "#ERROR#"
MEDIA_DIR = os.path.join(
os.path.expanduser('~'), try:
"Dropbox (3Blue1Brown)/3Blue1Brown Team Folder" env_MEDIA_DIR = os.getenv("MEDIA_DIR")
) except NameError:
try:
env_MEDIA_DIR = os.environ['MEDIA_DIR']
except KeyError:
pass
if not (env_MEDIA_DIR is None):
MEDIA_DIR = env_MEDIA_DIR
elif os.path.exists("media_dir.txt"):
with open("media_dir.txt", 'rU') as media_file:
MEDIA_DIR = media_file.readline()
if MEDIA_DIR[-1] in ['\n', '\r']:
raise Exception("media_dir.txt must be a single-line text file pointing at the media_dir place")
else:
MEDIA_DIR = os.path.join(
os.path.expanduser('~'),
"Dropbox (3Blue1Brown)/3Blue1Brown Team Folder"
)
if not os.path.exists(MEDIA_DIR):
raise Exception("""
Redefine MEDIA_DIR by changing the MEDIA_DIR
environment constant or by changing
media_dir.txt to point to a valid directory
where movies and images will be written
""")
with open("media_dir.txt", 'w') as media_file:
media_file.write(MEDIA_DIR)
# #
@ -97,12 +125,6 @@ TEX_IMAGE_DIR = TEX_DIR # TODO, What is this doing?
MOBJECT_DIR = os.path.join(FILE_DIR, "mobjects") MOBJECT_DIR = os.path.join(FILE_DIR, "mobjects")
IMAGE_MOBJECT_DIR = os.path.join(MOBJECT_DIR, "image") IMAGE_MOBJECT_DIR = os.path.join(MOBJECT_DIR, "image")
if not os.path.exists(MEDIA_DIR):
raise Exception("""
Redefine MEDIA_DIR in constants.py to point to
a valid directory where movies and images will
be written
""")
for folder in [FILE_DIR, RASTER_IMAGE_DIR, SVG_IMAGE_DIR, ANIMATIONS_DIR, TEX_DIR, for folder in [FILE_DIR, RASTER_IMAGE_DIR, SVG_IMAGE_DIR, ANIMATIONS_DIR, TEX_DIR,
TEX_IMAGE_DIR, MOBJECT_DIR, IMAGE_MOBJECT_DIR, TEX_IMAGE_DIR, MOBJECT_DIR, IMAGE_MOBJECT_DIR,
STAGED_SCENES_DIR]: STAGED_SCENES_DIR]: