diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-16 22:36:37 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-16 22:36:37 +0100 |
| commit | 2be8db31dc0406e149a89c62bd628cfa6756ab30 (patch) | |
| tree | 1084cde2f2a7af51f0e045c89912ed28a42897c6 /luaotfload-override.lua | |
| parent | 4e3c25d0fa4ad115416c5004e0e544b2faf99788 (diff) | |
| download | luaotfload-2be8db31dc0406e149a89c62bd628cfa6756ab30.tar.gz | |
[db] use tput to determine the terminal size if appropriate
Diffstat (limited to 'luaotfload-override.lua')
| -rw-r--r-- | luaotfload-override.lua | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/luaotfload-override.lua b/luaotfload-override.lua index 0e17f05..b1773fa 100644 --- a/luaotfload-override.lua +++ b/luaotfload-override.lua @@ -40,20 +40,6 @@ if tex and (tex.jobname or tex.formatname) then texjob = true end ---[[doc-- -We recreate the verbosity levels previously implemented in font-nms: - - ========================================================== - lvl arg trace_loading trace_search suppress_output - ---------------------------------------------------------- - (0) -> -q ⊥ ⊥ ⊤ - (1) -> ∅ ⊥ ⊥ ⊥ - (2) -> -v ⊤ ⊥ ⊥ - (>2) -> -vv ⊤ ⊤ ⊥ - ========================================================== - ---doc]]-- - local loglevel = 0 --- default local logout = "log" |