summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilipp Gesang <phg42.2a@gmail.com>2013-11-05 20:07:34 +0100
committerPhilipp Gesang <phg42.2a@gmail.com>2013-11-05 20:07:34 +0100
commite83bdce6f53216620ae959fd55ba7025569d7e44 (patch)
tree4ee9e99cb7eb28199c9a58faac4272f31fcd99ca
parentde6ef7d6566f53b7554bf3861bb10712417b83fd (diff)
downloadluaotfload-e83bdce6f53216620ae959fd55ba7025569d7e44.tar.gz
[tool] add --no-strip option
-rwxr-xr-xluaotfload-tool.lua7
-rw-r--r--luaotfload-tool.rst6
2 files changed, 12 insertions, 1 deletions
diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua
index 3bae175..f7ac215 100755
--- a/luaotfload-tool.lua
+++ b/luaotfload-tool.lua
@@ -112,6 +112,9 @@ luaotfloadconfig.index_file = luaotfloadconfig.index_file
luaotfloadconfig.formats = luaotfloadconfig.formats
or "otf,ttf,ttc,dfont"
luaotfloadconfig.reload = false
+if not luaotfloadconfig.strip then
+ luaotfloadconfig.strip = true
+end
do -- we don’t have file.basename and the likes yet, so inline parser ftw
local slash = P"/"
@@ -214,6 +217,7 @@ This tool is part of the luaotfload package. Valid options are:
-u --update update the database
-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)
-l --flush-lookups empty lookup cache of font requests
@@ -1109,6 +1113,7 @@ local process_cmdline = function ( ) -- unit -> jobspec
list = 1,
log = 1,
["no-reload"] = "n",
+ ["no-strip"] = 0,
["skip-read"] = "R",
["prefer-texmf"] = "p",
quiet = "q",
@@ -1208,6 +1213,8 @@ local process_cmdline = function ( ) -- unit -> jobspec
luaotfloadconfig.skip_read = true
elseif v == "c" then
luaotfloadconfig.compress = true
+ elseif v == "no-strip" then
+ luaotfloadconfig.strip = false
end
end
diff --git a/luaotfload-tool.rst b/luaotfload-tool.rst
index 6971163..2db8481 100644
--- a/luaotfload-tool.rst
+++ b/luaotfload-tool.rst
@@ -20,7 +20,7 @@ SYNOPSIS
**luaotfload-tool** --update [ --force ] [ --quiet ] [ --verbose ]
[ --prefer-texmf ] [ --dry-run ]
[ --formats=[+|-]EXTENSIONS ]
- [ --compress ]
+ [ --compress ] [ --no-strip ]
**luaotfload-tool** --find=FONTNAME [ --fuzzy ] [ --info ] [ --inspect ]
[ --no-reload ]
@@ -63,6 +63,10 @@ update mode
all fonts.
--no-reload, -n Suppress auto-updates to the database (e.g.
when ``--find`` is passed an unknown name).
+--no-strip Do not strip redundant information after
+ building the database. Warning: this will
+ inflate the index to about two to three times
+ the normal size.
--compress Filter plain text version of font index through
gzip.