[tool] add --no-strip option

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.