public-mirrors/3b1b-manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-11-14 08:17:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Bug fix for mirrored directories

Browse source
This commit is contained in:
Grant Sanderson 2022-05-11 12:44:51 -07:00
parent 41b811a5e7
commit 584e259b44
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
manimlib/config.py
View file

@ -339,13 +339,13 @@ def get_configuration(args):
dir_config = custom_config["directories"]
output_directory = args.video_dir or dir_config["output"]
if dir_config["mirror_module_path"]:
if dir_config["mirror_module_path"] and args.file:
to_cut = dir_config["removed_mirror_prefix"]
input_file = os.path.abspath(args.file)
output_directory = os.path.join(
output_directory,
input_file.replace(to_cut, "").replace(".py", "")
)
ext = os.path.abspath(args.file)
ext = ext.replace(to_cut, "").replace(".py", "")
if ext.startswith("_"):
ext = ext[1:]
output_directory = os.path.join(output_directory, ext)
file_writer_config = {
"write_to_movie": not args.skip_animations and write_file,