diff options
| author | Hans Hagen <pragma@wxs.nl> | 2021-08-30 20:23:25 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2021-08-30 20:23:25 +0200 |
| commit | 6f5d01cee63d25d2baa00a7bae907e8d118c5d66 (patch) | |
| tree | 6301b9d0ba225be723e3de058045bf0d4dd7ca1e /scripts | |
| parent | f0f9eb4ec899209d6ff3a00edbf8be86291440d7 (diff) | |
| download | context-6f5d01cee63d25d2baa00a7bae907e8d118c5d66.tar.gz | |
2021-08-30 19:55:00
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/context/lua/mtx-context.lua | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/scripts/context/lua/mtx-context.lua b/scripts/context/lua/mtx-context.lua index 2c142bf49..d2e63640a 100644 --- a/scripts/context/lua/mtx-context.lua +++ b/scripts/context/lua/mtx-context.lua @@ -20,18 +20,18 @@ local lpegpatterns, lpegmatch, Cs, P = lpeg.patterns, lpeg.match, lpeg.Cs, lpeg. local getargument = environment.getargument or environment.argument local setargument = environment.setargument -local filejoinname = file.join -local filebasename = file.basename -local filenameonly = file.nameonly -local filepathpart = file.pathpart -local filesuffix = file.suffix -local fileaddsuffix = file.addsuffix -local filereplacesuffix = file.replacesuffix -local removesuffix = file.removesuffix -local validfile = lfs.isfile -local removefile = os.remove -local renamefile = os.rename -local formatters = string.formatters +local filejoinname = file.join +local filebasename = file.basename +local filenameonly = file.nameonly +local filepathpart = file.pathpart +local filesuffix = file.suffix +local fileaddsuffix = file.addsuffix +local filenewsuffix = file.replacesuffix +local removesuffix = file.removesuffix +local validfile = lfs.isfile +local removefile = os.remove +local renamefile = os.rename +local formatters = string.formatters local application = logs.application { name = "mtx-context", @@ -972,7 +972,7 @@ function scripts.context.run(ctxdata,filename) end -- if environment.arguments["ansilog"] then - local logfile = filereplacesuffix(jobname,"log") + local logfile = filenewsuffix(jobname,"log") local logdata = io.loaddata(logfile) or "" if logdata ~= "" then io.savedata(logfile,(gsub(logdata,"%[.-m",""))) |