1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
--
-- luatexja/infomute.lua
--
luatexbase.provides_module({
name = 'luatexja.infomute',
date = '2011/06/05',
description = '',
})
module('luatexja.infomute', package.seeall)
local err, warn, info, log = luatexbase.errwarinf(_NAME)
--------------------
--! luatexbase.module_info() で特定のモジュールの情報出力だけ
--! 抑止したい.
local org_texio = texio
local patch_applied = false
local info_mute = {}
local function pick_module_name(line)
local mod
if line:sub(1, 7) == "Module " then
local s, e = line:find(" ", 8, true)
if s then mod = line:sub(8, s - 1) end
elseif line:sub(1, 1) == "(" then
local s, e = line:find(")", 2, true)
if s then mod = line:sub(2, s - 1) end
end
return mod
end
local function patched_write_nl(line, ...)
local mod = pick_module_name(line)
if not (mod and info_mute[mod]) then
org_texio.write_nl(line, ...)
end
end
local new_texio = setmetatable({ write_nl = patched_write_nl },
{ __index = org_texio })
local org_fenv = getfenv(luatexbase.module_info)
local function apply_patch()
setfenv(luatexbase.module_info,
setmetatable({ texio = new_texio }, { __index = org_fenv }))
patch_applied = true
end
--! モジュール mod の情報出力を抑止する.
function add_mute(mod)
info_mute[mod] = true
if not patch_applied then
apply_patch()
end
end
-------------------- all done
-- EOF
|
