diff options
| author | Taco Hoekwater <taco@elvenkind.com> | 2011-06-06 11:20:16 +0000 |
|---|---|---|
| committer | Taco Hoekwater <taco@elvenkind.com> | 2011-06-06 11:20:16 +0000 |
| commit | 857ffc408ecbcbebfd4ace2a444e618e324a4d61 (patch) | |
| tree | 5b8acdaaec9aec68bdf8f4c49d474edae6452c52 /Master/bin/x86_64-linux | |
| parent | e667c797cbec2ada963b25777d871e1ddcaa546e (diff) | |
A fix for filepaths with spaces in context mkii (possibly partial)
git-svn-id: svn://tug.org/texlive/trunk@22820 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/x86_64-linux')
| -rwxr-xr-x | Master/bin/x86_64-linux/mtxrun | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Master/bin/x86_64-linux/mtxrun b/Master/bin/x86_64-linux/mtxrun index 5ca97db588e..f0b07dddd4b 100755 --- a/Master/bin/x86_64-linux/mtxrun +++ b/Master/bin/x86_64-linux/mtxrun @@ -14532,11 +14532,13 @@ function runners.execute_script(fullname,internal,nosplit) environment.ownscript = result dofile(result) else + local quotedresult = result + if string.match(result,' ') and not string.match(result,"^\".*\"$") then quotedresult = '"' .. result .. '"' end local binary = runners.applications[file.extname(result)] if binary and binary ~= "" then - result = binary .. " " .. result + quotedresult = binary .. " " .. quotedresult end - local command = result .. " " .. environment.reconstructcommandline(environment.arguments_after,noquote) + local command = quotedresult .. " " .. environment.reconstructcommandline(environment.arguments_after,noquote) if e_verbose then report() report("executing: %s",command) |