summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilipp Gesang <phg42.2a@gmail.com>2013-11-12 23:21:11 +0100
committerPhilipp Gesang <phg42.2a@gmail.com>2013-11-12 23:21:11 +0100
commita59d8dc80df1e9359938f0fc2e2b1d335f863bbf (patch)
tree3117a3c4d077d1a30cd68f9a6a240228697269e0
parent1ad4aec62a0cdc6eaf12f17126eeb346e86d3146 (diff)
downloadluaotfload-a59d8dc80df1e9359938f0fc2e2b1d335f863bbf.tar.gz
[db,tool] default to compressed plaintext index
-rw-r--r--luaotfload-database.lua11
-rwxr-xr-xluaotfload-tool.lua10
2 files changed, 11 insertions, 10 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
diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua
index 0cc26d2..f1e4808 100755
--- a/luaotfload-tool.lua
+++ b/luaotfload-tool.lua
@@ -183,6 +183,7 @@ local sanitize_fontname = names.sanitize_fontname
local pathdata = names.path
local names_plain = pathdata.index.lua
+local names_gzip = names_plain .. ".gz"
local names_bin = pathdata.index.luc
local help_messages = {
@@ -219,7 +220,7 @@ This tool is part of the luaotfload package. Valid options are:
-n --no-reload suppress db update
--no-strip keep redundant information in db
-f --force force re-indexing all fonts
- -c --compress gzip index file (text version only)
+ -c --no-compress do not gzip index file (text version only)
-l --flush-lookups empty lookup cache of font requests
-D --dry-run skip loading of fonts, just scan
--formats=[+|-]EXTENSIONS set, add, or subtract formats to index
@@ -293,7 +294,8 @@ local help_msg = function (version)
local template = help_messages[version]
iowrite(stringformat(template,
luaotfloadconfig.self,
- names_plain,
+-- names_plain,
+ names_gzip,
names_bin,
caches.getwritablepath (
luaotfloadconfig.cache_dir)))
@@ -1097,7 +1099,7 @@ local process_cmdline = function ( ) -- unit -> jobspec
local long_options = {
alias = 1,
cache = 1,
- compress = "c",
+ ["no-compress"] = "c",
diagnose = 1,
["dry-run"] = "D",
["flush-lookups"] = "l",
@@ -1214,7 +1216,7 @@ local process_cmdline = function ( ) -- unit -> jobspec
--- dev only, undocumented
luaotfloadconfig.skip_read = true
elseif v == "c" then
- luaotfloadconfig.compress = true
+ luaotfloadconfig.compress = false
elseif v == "no-strip" then
luaotfloadconfig.strip = false
end