public-mirrors/3b1b-manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-09-19 04:41:56 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Bug fix for the case when the media_dir has spaces

Browse source
This commit is contained in:
Grant Sanderson 2019-06-13 16:15:43 -07:00
parent 2ccf83c0aa
commit 2cbe19af7c
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/utils/tex_file_writing.py
View file

@ -44,8 +44,8 @@ def tex_to_dvi(tex_file):
"latex",
"-interaction=batchmode",
"-halt-on-error",
"-output-directory=" + consts.TEX_DIR,
tex_file,
"-output-directory=\'{}\'".format(consts.TEX_DIR),
"\'{}\'".format(tex_file),
">",
os.devnull
] if not TEX_USE_CTEX else [
@ -53,8 +53,8 @@ def tex_to_dvi(tex_file):
"-no-pdf",
"-interaction=batchmode",
"-halt-on-error",
"-output-directory=" + consts.TEX_DIR,
tex_file,
"-output-directory=\'{}\'".format(consts.TEX_DIR),
"\'{}\'".format(tex_file),
">",
os.devnull
]
@ -79,12 +79,12 @@ def dvi_to_svg(dvi_file, regen_if_exists=False):
if not os.path.exists(result):
commands = [
"dvisvgm",
dvi_file,
"\'{}\'".format(dvi_file),
"-n",
"-v",
"0",
"-o",
result,
"\'{}\'".format(result),
">",
os.devnull
]