summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rw-r--r--scripts/context/lua/mtxrun.lua5
-rw-r--r--scripts/context/stubs/mswin/mtxrun.lua5
-rwxr-xr-xscripts/context/stubs/unix/mtxrun5
3 files changed, 15 insertions, 0 deletions
diff --git a/scripts/context/lua/mtxrun.lua b/scripts/context/lua/mtxrun.lua
index c5232a6d3..b8c1cc587 100644
--- a/scripts/context/lua/mtxrun.lua
+++ b/scripts/context/lua/mtxrun.lua
@@ -10637,6 +10637,11 @@ end
-- return resolvers.cleanpath(str)
-- end
+local cleanup = lpeg.replacer {
+ { "!" , "" },
+ { "\\" , "/" },
+}
+
function resolvers.cleanpath(str) -- tricky, maybe only simple paths
local doslashes = (P("\\")/"/" + 1)^0
local donegation = (P("!") /"" )^0
diff --git a/scripts/context/stubs/mswin/mtxrun.lua b/scripts/context/stubs/mswin/mtxrun.lua
index c5232a6d3..b8c1cc587 100644
--- a/scripts/context/stubs/mswin/mtxrun.lua
+++ b/scripts/context/stubs/mswin/mtxrun.lua
@@ -10637,6 +10637,11 @@ end
-- return resolvers.cleanpath(str)
-- end
+local cleanup = lpeg.replacer {
+ { "!" , "" },
+ { "\\" , "/" },
+}
+
function resolvers.cleanpath(str) -- tricky, maybe only simple paths
local doslashes = (P("\\")/"/" + 1)^0
local donegation = (P("!") /"" )^0
diff --git a/scripts/context/stubs/unix/mtxrun b/scripts/context/stubs/unix/mtxrun
index c5232a6d3..b8c1cc587 100755
--- a/scripts/context/stubs/unix/mtxrun
+++ b/scripts/context/stubs/unix/mtxrun
@@ -10637,6 +10637,11 @@ end
-- return resolvers.cleanpath(str)
-- end
+local cleanup = lpeg.replacer {
+ { "!" , "" },
+ { "\\" , "/" },
+}
+
function resolvers.cleanpath(str) -- tricky, maybe only simple paths
local doslashes = (P("\\")/"/" + 1)^0
local donegation = (P("!") /"" )^0