diff options
author | Hans Hagen <pragma@wxs.nl> | 2014-06-11 15:52:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2014-06-11 15:52:00 +0200 |
commit | 04d53999d96e5526ac6f587ae30215b29213c753 (patch) | |
tree | 6f93a7f05fbbdbbaa596b1efd0ecfbb74fe8d0c6 /tex/context/base/file-mod.lua | |
parent | b7bf9474dd20221297fb47bf90c1ab6c6a2d9306 (diff) | |
download | context-04d53999d96e5526ac6f587ae30215b29213c753.tar.gz |
beta 2014.06.11 15:52
Diffstat (limited to 'tex/context/base/file-mod.lua')
-rw-r--r-- | tex/context/base/file-mod.lua | 25 |
1 files changed, 23 insertions, 2 deletions
diff --git a/tex/context/base/file-mod.lua b/tex/context/base/file-mod.lua index 2f34d9dd2..39274ceef 100644 --- a/tex/context/base/file-mod.lua +++ b/tex/context/base/file-mod.lua @@ -35,8 +35,25 @@ local iterator = utilities.parsers.iterator -- modules can have a specific suffix or can specify one -local prefixes = { "m", "p", "s", "x", "v", "t" } -local suffixes = { "mkvi", "mkiv", "tex", "cld", "lua" } -- order might change and how about cld +local prefixes = { + "m", -- module, extends functionality + "p", -- private code + "s", -- styles + "x", -- xml specific modules + -- "v", -- an old internal one for examples + "t", -- third party extensions +} + +-- the order might change and how about cld + +local suffixes = { + "mkvi", -- proprocessed mkiv files + "mkiv", -- mkiv files + "tex", -- normally source code files + "cld", -- context lua documents (often stand alone) + "lua", -- lua files +} + local modstatus = { } local function usemodule(name,hasscheme) @@ -118,6 +135,10 @@ function commands.usemodules(prefix,askedname,truename) end if status then -- ok, don't change + elseif find(truename,"%-") and usemodule(truename) then + -- assume a user namespace + report_modules("using user prefixed file %a",truename) + status = 1 elseif not permit_unprefixed then -- forget about it elseif usemodule(truename) then |