From d6679aaf43954c88ab374bdf620a7feb0481f009 Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Sun, 17 Nov 2013 20:04:34 +0100 Subject: [db] write non-truncated filenames to log (lvl 2) with status messages --- luaotfload-database.lua | 9 ++++++--- 1 file 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 -- cgit v1.2.3