diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-01-07 14:15:07 +0100 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-01-07 14:15:07 +0100 |
| commit | 62fc7b991bcce5ebe33d93e7bb067bc77f4683e3 (patch) | |
| tree | 1b8ba58119fd4db88ca002ea87b966da7a7b9ea2 /scripts | |
| parent | dff5c494ea481bade11845293d0b02d372c9cce7 (diff) | |
| download | context-62fc7b991bcce5ebe33d93e7bb067bc77f4683e3.tar.gz | |
2016-01-07 13:40:00
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/context/lua/mtx-fonts.lua | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/scripts/context/lua/mtx-fonts.lua b/scripts/context/lua/mtx-fonts.lua index 357df0688..ada88e46b 100644 --- a/scripts/context/lua/mtx-fonts.lua +++ b/scripts/context/lua/mtx-fonts.lua @@ -11,6 +11,7 @@ local setargument = environment.setargument local givenfiles = environment.files local otfversion = 2.819 +local otlversion = 3.012 local helpinfo = [[ <?xml version="1.0"?> @@ -44,6 +45,7 @@ local helpinfo = [[ <flag name="trackers" value="list"><short>enable trackers</short></flag> <flag name="statistics"><short>some info about the database</short></flag> <flag name="names"><short>use name instead of unicodes</short></flag> + <flag name="cache" value="str"><short>use specific cache (otl or otf)</short></flag> </subcategory> </category> </flags> @@ -424,7 +426,8 @@ end function scripts.fonts.unpack() local name = file.removesuffix(file.basename(givenfiles[1] or "")) if name and name ~= "" then - local cache = containers.define("fonts", getargument("cache") or "otf", otfversion, true) -- cache is temp + local cacheid = getargument("cache") or "otl" + local cache = containers.define("fonts", cacheid, otlversion, true) -- cache is temp local cleanname = containers.cleanname(name) local data = containers.read(cache,cleanname) if data then @@ -437,7 +440,7 @@ function scripts.fonts.unpack() end io.savedata(savename,table.serialize(data,true)) else - report("unknown file %a",name) + report("unknown file %a in cache %a",name,cacheid) end end end |