diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-08-03 22:06:03 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-08-03 22:06:03 +0200 |
| commit | 8d890cb8e98d50f13bfe2a279da5ce3518458ac1 (patch) | |
| tree | d93cb0067e497ce586e208455b4f939a6a00763e | |
| parent | 56e3035e8892cdec21931340536a8244faae1d10 (diff) | |
| download | luaotfload-8d890cb8e98d50f13bfe2a279da5ce3518458ac1.tar.gz | |
[tool] add option --no-reload to suppress database updates
| -rwxr-xr-x | luaotfload-tool.lua | 6 | ||||
| -rw-r--r-- | luaotfload-tool.rst | 6 |
2 files changed, 10 insertions, 2 deletions
diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua index c3bf3bb..11013e9 100755 --- a/luaotfload-tool.lua +++ b/luaotfload-tool.lua @@ -209,6 +209,7 @@ This tool is part of the luaotfload package. Valid options are: DATABASE -u --update update the database + -n --no-reload suppress db update -f --force force re-indexing all fonts -l --flush-lookups empty lookup cache of font requests -D --dry-run skip loading of fonts, just scan @@ -1044,6 +1045,7 @@ local process_cmdline = function ( ) -- unit -> jobspec limit = 1, list = 1, log = 1, + ["no-reload"] = "n", ["prefer-texmf"] = "p", quiet = "q", ["show-blacklist"] = "b", @@ -1054,7 +1056,7 @@ local process_cmdline = function ( ) -- unit -> jobspec warnings = "w", } - local short_options = "bDfFiIlpquvVhw" + local short_options = "bDfFiIlnpquvVhw" local options, _, optarg = alt_getopt.get_ordered_opts (arg, short_options, long_options) @@ -1133,6 +1135,8 @@ local process_cmdline = function ( ) -- unit -> jobspec result.asked_diagnostics = optarg[n] elseif v == "formats" then names.set_font_filter (optarg[n]) + elseif v == "n" then + config.luaotfload.update_live = false end end diff --git a/luaotfload-tool.rst b/luaotfload-tool.rst index 2d3ae2f..4bbabfd 100644 --- a/luaotfload-tool.rst +++ b/luaotfload-tool.rst @@ -15,13 +15,14 @@ SYNOPSIS ======================================================================= -**luaotfload-tool** [ -bDfFiIlpquvVhw ] +**luaotfload-tool** [ -bDfFiIlnpquvVhw ] **luaotfload-tool** --update [ --force ] [ --quiet ] [ --verbose ] [ --prefer-texmf ] [ --dry-run ] [ --formats=[+|-]EXTENSIONS ] **luaotfload-tool** --find=FONTNAME [ --fuzzy ] [ --info ] [ --inspect ] + [ --no-reload ] **luaotfload-tool** --flush-lookups @@ -59,6 +60,9 @@ update mode --update, -u Update the database; indexes new fonts. --force, -f Force rebuilding of the database; re-indexes all fonts. +--no-reload, -n Suppress auto-updates to the database (e.g. + when ``--find`` is passed an unknown name). + --prefer-texmf, -p Organize the file name database in a way so that it prefer fonts in the *TEXMF* tree over system fonts if they are installed in both. |