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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
|
if not modules then modules = { } end modules ['luat-fio'] = {
version = 1.001,
comment = "companion to luat-lib.mkiv",
author = "Hans Hagen, PRAGMA-ADE, Hasselt NL",
copyright = "PRAGMA ADE / ConTeXt Development Team",
license = "see context related readme files"
}
local format = string.format
local concat = table.concat
if not resolvers.initialized() then
resolvers.reset()
-- we now load the file database as we might need files other than
-- tex and lua file on the given path
resolvers.load()
if callback then
local findbinfile = resolvers.findbinfile
local findtexfile = resolvers.findtexfile
local opentexfile = resolvers.opentexfile
local register = callbacks.register
local ioflush = io.flush
local ioread = io.read
local writenl = texio.writenl
local function terminal()
writenl("\ntex console > ")
ioflush()
local line = ioread()
writenl("")
ioflush()
return line
end
-- local function find_data_file(name)
-- if not name or name == "" then
-- return "context terminal"
-- else
-- return findbinfile(name,"tex")
-- end
-- end
--
-- local function open_data_file(name)
-- if not name or name == "" or name == "context terminal" then
-- return {
-- reader = terminal,
-- noflines = 1,
-- filename = name,
-- }
-- else
-- name = opentexfile(name)
-- return name ~= "" and name or false
-- end
-- end
local function open_data_file(name)
if not name or name == "" then
return {
reader = terminal,
noflines = 1,
filename = "context terminal"
}
else
local fullname = findbinfile(name,"tex")
if fullname then
return opentexfile(fullname)
else
return false
end
end
end
local function find_any_file(name)
return name
end
register('find_log_file' , find_any_file, true) -- why do we have this callback if we just return the name
register('find_format_file', find_any_file, true) -- why do we have this callback if we just return the name
-- register('find_data_file' , find_data_file, true)
register('open_data_file' , open_data_file, true)
end
end
statistics.register("resource resolver", function()
local scandata = resolvers.scandata()
return format("loadtime %s seconds, %s scans with scantime %s seconds, %s shared scans, %s found files, scanned paths: %s",
resolvers.loadtime(),
scandata.n,
scandata.time,
scandata.shared,
#resolvers.foundintrees(),
#scandata.paths > 0 and concat(scandata.paths," ") or "<none>"
)
end)
|