diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-05 20:07:34 +0100 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-05 20:07:34 +0100 |
commit | e83bdce6f53216620ae959fd55ba7025569d7e44 (patch) | |
tree | 4ee9e99cb7eb28199c9a58faac4272f31fcd99ca | |
parent | de6ef7d6566f53b7554bf3861bb10712417b83fd (diff) | |
download | luaotfload-e83bdce6f53216620ae959fd55ba7025569d7e44.tar.gz |
[tool] add --no-strip option
-rwxr-xr-x | luaotfload-tool.lua | 7 | ||||
-rw-r--r-- | luaotfload-tool.rst | 6 |
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. |