From 62fc7b991bcce5ebe33d93e7bb067bc77f4683e3 Mon Sep 17 00:00:00 2001 From: Context Git Mirror Bot Date: Thu, 7 Jan 2016 14:15:07 +0100 Subject: 2016-01-07 13:40:00 --- scripts/context/lua/mtx-fonts.lua | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'scripts') 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 = [[ @@ -44,6 +45,7 @@ local helpinfo = [[ enable trackers some info about the database use name instead of unicodes + use specific cache (otl or otf) @@ -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 -- cgit v1.2.3