diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-12 23:21:11 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-12 23:21:11 +0100 |
| commit | a59d8dc80df1e9359938f0fc2e2b1d335f863bbf (patch) | |
| tree | 3117a3c4d077d1a30cd68f9a6a240228697269e0 /luaotfload-database.lua | |
| parent | 1ad4aec62a0cdc6eaf12f17126eeb346e86d3146 (diff) | |
| download | luaotfload-a59d8dc80df1e9359938f0fc2e2b1d335f863bbf.tar.gz | |
[db,tool] default to compressed plaintext index
Diffstat (limited to 'luaotfload-database.lua')
| -rw-r--r-- | luaotfload-database.lua | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/luaotfload-database.lua b/luaotfload-database.lua index a2535fa..a12cdd1 100644 --- a/luaotfload-database.lua +++ b/luaotfload-database.lua @@ -19,7 +19,7 @@ if not modules then modules = { } end modules ['luaotfload-database'] = { considers only the contents of the minimals tree, not the tex live one!) - time (m:s) peak VmSize (B) + time (m:s) peak VmSize (kB) a 1:19 386 018 b 0:37 715 797 c 2:27 1 017 674 @@ -124,11 +124,10 @@ luaotfloadconfig.resolver = luaotfloadconfig.resolver or "normal" luaotfloadconfig.formats = luaotfloadconfig.formats or "otf,ttf,ttc,dfont" luaotfloadconfig.strip = luaotfloadconfig.strip == true -if luaotfloadconfig.update_live ~= false then - --- this option allows for disabling updates - --- during a TeX run - luaotfloadconfig.update_live = true -end +--- this option allows for disabling updates +--- during a TeX run +luaotfloadconfig.update_live = luaotfloadconfig.update_live ~= false +luaotfloadconfig.compress = luaotfloadconfig.compress ~= false local names = fonts.names local name_index = nil --> upvalue for names.data |