diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-13 00:32:35 +0100 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-13 00:32:35 +0100 |
commit | a914c23b674ff6bacb85a9701a828e03ec24cbc0 (patch) | |
tree | 8db9f9aef2cc694e4c494f7b75912795bb4357ef /luaotfload-tool.lua | |
parent | 14834c9ea172588cc6cd4f111cdb16ce88ce2c2f (diff) | |
download | luaotfload-a914c23b674ff6bacb85a9701a828e03ec24cbc0.tar.gz |
[tool,man,db] add --max-fonts option to restrict db size
Diffstat (limited to 'luaotfload-tool.lua')
-rwxr-xr-x | luaotfload-tool.lua | 10 |
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 |