diff options
author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-04-16 16:15:05 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-04-16 16:15:05 +0200 |
commit | 0345d11594248a6dc9934602933a4cb19988fb00 (patch) | |
tree | ecaa2f0451a6f4fe20ef401b4a9ffd05b458b87e /tex/context/base/file-job.lua | |
parent | d3c8d09b0a9cd2e1f2fd2680b6a6bb7369c67a7a (diff) | |
download | context-0345d11594248a6dc9934602933a4cb19988fb00.tar.gz |
2015-04-16 15:16:00
Diffstat (limited to 'tex/context/base/file-job.lua')
-rw-r--r-- | tex/context/base/file-job.lua | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/tex/context/base/file-job.lua b/tex/context/base/file-job.lua index 9bf43bbdc..3a034f0a3 100644 --- a/tex/context/base/file-job.lua +++ b/tex/context/base/file-job.lua @@ -54,6 +54,9 @@ local hasscheme = url.hasscheme local jobresolvers = resolvers.jobs local registerextrapath = resolvers.registerextrapath +local resetextrapath = resolvers.resetextrapath +local pushextrapath = resolvers.pushextrapath +local popextrapath = resolvers.popextrapath local v_outer = variables.outer local v_text = variables.text @@ -114,6 +117,23 @@ implement { } implement { + name = "pushpath", + arguments = "string", + actions = function(paths) + report_jobfiles("pushing path: %s",paths) + pushextrapath(paths) + end +} + +implement { + name = "poppath", + actions = function(paths) + popextrapath() + report_jobfiles("popping path") + end +} + +implement { name = "usesubpath", arguments = "string", actions = function(subpaths) @@ -123,6 +143,14 @@ implement { } implement { + name = "resetpath", + actions = function() + report_jobfiles("resetting path") + resetextrapath() + end +} + +implement { name = "allinputpaths", actions = function() context(concat(resolvers.instance.extra_paths or { },",")) |