mirror of
https://github.com/3b1b/manim.git
synced 2025-08-21 05:44:04 +00:00
Change default media output directory to from 'video' to 'videos'
This commit is contained in:
parent
cc08c090d1
commit
f10baa3fcd
1 changed files with 1 additions and 1 deletions
|
@ -29,7 +29,7 @@ def initialize_directories(config):
|
||||||
"Ignoring --media_dir, since --video_dir and --tex_dir were "
|
"Ignoring --media_dir, since --video_dir and --tex_dir were "
|
||||||
"both passed"
|
"both passed"
|
||||||
)
|
)
|
||||||
VIDEO_DIR = config["video_dir"] or os.path.join(MEDIA_DIR, "video")
|
VIDEO_DIR = config["video_dir"] or os.path.join(MEDIA_DIR, "videos")
|
||||||
TEX_DIR = config["tex_dir"] or os.path.join(MEDIA_DIR, "Tex")
|
TEX_DIR = config["tex_dir"] or os.path.join(MEDIA_DIR, "Tex")
|
||||||
|
|
||||||
for folder in [VIDEO_DIR, TEX_DIR]:
|
for folder in [VIDEO_DIR, TEX_DIR]:
|
||||||
|
|
Loading…
Add table
Reference in a new issue