From 3220fd09a4f97680849047211dab5588c8b33e97 Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Sun, 3 Nov 2013 18:35:48 +0100 Subject: [log] suppress status info on dumb terminals --- luaotfload-database.lua | 4 ---- luaotfload-override.lua | 6 ++++-- 2 files changed, 4 insertions(+), 6 deletions(-) diff --git a/luaotfload-database.lua b/luaotfload-database.lua index 671af4c..1b20a84 100644 --- a/luaotfload-database.lua +++ b/luaotfload-database.lua @@ -713,10 +713,6 @@ resolve_cached = function (_, _, specification) local entry = { filename, subfont } report("both", 4, "cache", "New entry: %s", request) names.lookups[request] = entry - - --- obviously, the updated cache needs to be stored. - --- TODO this should trigger a save only once the - --- document is compiled (finish_pdffile callback?) report("both", 5, "cache", "Saving updated cache") local success = save_lookups() if not success then --- sad, but not critical diff --git a/luaotfload-override.lua b/luaotfload-override.lua index a840909..889bea5 100644 --- a/luaotfload-override.lua +++ b/luaotfload-override.lua @@ -310,8 +310,10 @@ local status_start = function (low, high) status_low = low status_high = high - if os.type == "windows" then --- Assume broken terminal. - status_writer = function (...) + if os.type == "windows" --- Assume broken terminal. + or os.getenv "TERM" == "dumb" + then + status_writer = function (mode, ...) names_report (mode, high, ...) end return -- cgit v1.2.3