diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-17 20:04:34 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-17 20:04:34 +0100 |
| commit | d6679aaf43954c88ab374bdf620a7feb0481f009 (patch) | |
| tree | 4c955a20a281baf5addeb4ed66a64b44d05c43dc /luaotfload-database.lua | |
| parent | c0a2db36cfa63da82ab9e0eb0eb952a14a899fa9 (diff) | |
| download | luaotfload-d6679aaf43954c88ab374bdf620a7feb0481f009.tar.gz | |
[db] write non-truncated filenames to log (lvl 2) with status messages
Diffstat (limited to 'luaotfload-database.lua')
| -rw-r--r-- | luaotfload-database.lua | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/luaotfload-database.lua b/luaotfload-database.lua index c5c4c37..417cc25 100644 --- a/luaotfload-database.lua +++ b/luaotfload-database.lua @@ -2167,11 +2167,14 @@ local scan_dir = function (dirname, currentnames, targetnames, if dry_run == true then local truncated = truncate_string (fullname, 43) - report_status ("both", "db", - "Would have been loading %s", truncated) + report ("log", 2, "db", + "Would have been loading %s", fullname) + report_status ("term", "db", + "Would have been loading %s", truncated) else local truncated = truncate_string (fullname, 32) - report_status ("both", "db", "Loading font %s", truncated) + report ("log", 2, "db", "Loading font %s", fullname) + report_status ("term", "db", "Loading font %s", truncated) local new = read_font_names (fullname, currentnames, targetnames, texmf) if new == true then |