diff options
| author | Hans Hagen <pragma@wxs.nl> | 2018-11-18 16:12:36 +0100 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2018-11-18 16:12:36 +0100 |
| commit | 744095aa4676553437db0d71c281a74557a3222f (patch) | |
| tree | bfdf5d203b5fbfa44ee7db705d3b3475361ad28f /scripts/context/lua/mtx-context.lua | |
| parent | e2ee706a3114129601a30908d6b8cbb57068d32c (diff) | |
| download | context-744095aa4676553437db0d71c281a74557a3222f.tar.gz | |
2018-11-18 14:16:00
Diffstat (limited to 'scripts/context/lua/mtx-context.lua')
| -rw-r--r-- | scripts/context/lua/mtx-context.lua | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/scripts/context/lua/mtx-context.lua b/scripts/context/lua/mtx-context.lua index 4244dfc83..1f3ce8301 100644 --- a/scripts/context/lua/mtx-context.lua +++ b/scripts/context/lua/mtx-context.lua @@ -665,11 +665,11 @@ function scripts.context.run(ctxdata,filename) -- side effects (so no bug reports please) .. we provide --sandbox that -- does similar things but tries to ensure that context works as expected - local a_safer = getargument("safer") - - if a_safer then - report("warning: using the luatex safer options, processing is not guaranteed") - end + -- local a_safer = getargument("safer") + -- + -- if a_safer then + -- report("warning: using the luatex safer options, processing is not guaranteed") + -- end -- a_batchmode = (a_batchmode and "batchmode") or (a_nonstopmode and "nonstopmode") or (a_scrollmode and "scrollmode") or nil @@ -810,7 +810,7 @@ function scripts.context.run(ctxdata,filename) ["interaction"] = a_batchmode, -- ["synctex"] = false, -- context has its own way ["no-parse-first-line"] = true, -- obsolete - ["safer"] = a_safer, -- better use --sandbox + -- ["safer"] = a_safer, -- better use --sandbox -- ["no-mktex"] = true, -- ["file-line-error-style"] = true, ["fmt"] = formatfile, |