From f10baa3fcd955fe9a79923ce0adc23bf1cc99dba Mon Sep 17 00:00:00 2001 From: Grant Sanderson Date: Thu, 13 Jun 2019 16:13:42 -0700 Subject: [PATCH] Change default media output directory to from 'video' to 'videos' --- manimlib/constants.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/manimlib/constants.py b/manimlib/constants.py index c15618c4..e878d70b 100644 --- a/manimlib/constants.py +++ b/manimlib/constants.py @@ -29,7 +29,7 @@ def initialize_directories(config): "Ignoring --media_dir, since --video_dir and --tex_dir were " "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") for folder in [VIDEO_DIR, TEX_DIR]: