diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-03 18:35:48 +0100 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-03 18:35:48 +0100 |
commit | 3220fd09a4f97680849047211dab5588c8b33e97 (patch) | |
tree | 56e8942504f67338f7fe39662fdfe1e99302f114 /luaotfload-override.lua | |
parent | 21e489dc4d4bd66f93a6aea3673e1ca3d317df31 (diff) | |
download | luaotfload-3220fd09a4f97680849047211dab5588c8b33e97.tar.gz |
[log] suppress status info on dumb terminals
Diffstat (limited to 'luaotfload-override.lua')
-rw-r--r-- | luaotfload-override.lua | 6 |
1 files changed, 4 insertions, 2 deletions
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 |