summaryrefslogtreecommitdiff
path: root/luaotfload-tool.lua
diff options
context:
space:
mode:
authorPhilipp Gesang <phg42.2a@gmail.com>2013-11-13 00:32:35 +0100
committerPhilipp Gesang <phg42.2a@gmail.com>2013-11-13 00:32:35 +0100
commita914c23b674ff6bacb85a9701a828e03ec24cbc0 (patch)
tree8db9f9aef2cc694e4c494f7b75912795bb4357ef /luaotfload-tool.lua
parent14834c9ea172588cc6cd4f111cdb16ce88ce2c2f (diff)
downloadluaotfload-a914c23b674ff6bacb85a9701a828e03ec24cbc0.tar.gz
[tool,man,db] add --max-fonts option to restrict db size
Diffstat (limited to 'luaotfload-tool.lua')
-rwxr-xr-xluaotfload-tool.lua10
1 files changed, 10 insertions, 0 deletions
diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua
index f1e4808..41ac4d7 100755
--- a/luaotfload-tool.lua
+++ b/luaotfload-tool.lua
@@ -225,6 +225,7 @@ This tool is part of the luaotfload package. Valid options are:
-D --dry-run skip loading of fonts, just scan
--formats=[+|-]EXTENSIONS set, add, or subtract formats to index
-p --prefer-texmf prefer fonts in the TEXMF over system fonts
+ --max-fonts=N process at most N font files
--find="font name" query the database for a font name
-F --fuzzy look for approximate matches if --find fails
@@ -1114,6 +1115,7 @@ local process_cmdline = function ( ) -- unit -> jobspec
limit = 1,
list = 1,
log = 1,
+ ["max-fonts"] = 1,
["no-reload"] = "n",
["no-strip"] = 0,
["skip-read"] = "R",
@@ -1219,6 +1221,14 @@ local process_cmdline = function ( ) -- unit -> jobspec
luaotfloadconfig.compress = false
elseif v == "no-strip" then
luaotfloadconfig.strip = false
+ elseif v == "max-fonts" then
+ local n = optarg[n]
+ if n then
+ n = tonumber(lvl)
+ if n and n > 0 then
+ luaotfloadconfig.max_fonts = n
+ end
+ end
end
end