[tex4ht] what is the fastest way to convert large document to HTML?
Reinhard Kotucha
reinhard.kotucha at web.de
Sun Aug 19 22:36:37 CEST 2018
On 2018-08-19 at 13:53:49 +0200, Michal Hoftich wrote:
> local command = "make -j -f " .. makefilename
Hi Michal,
if you use -j without an argument make will try to do everything at
the same time. This leads to zillions of processes and open
files. It's better to specify the number of available CPUs:
------------------------------------------------------------------
#!/usr/bin/env texlua
local cpu_cnt = 4 -- set a reasonable default for non-Linux systems
if os.name == 'linux' then
cpu_cnt = 0
local cpuinfo=assert(io.open('/proc/cpuinfo', 'r'))
for line in cpuinfo:lines() do
if line:match('^processor') then
cpu_cnt = cpu_cnt + 1
end
end
cpuinfo:close()
end
-- print(cpu_cnt)
------------------------------------------------------------------
And then
- local command = "make -j -f " .. makefilename
+ local command = "make -j"..cpu_cnt.." -f " .. makefilename
Please note that the variable os.name is a LuaTeX extension and not
available in stock Lua, hence texlua is required.
Regards,
Reinhard
--
------------------------------------------------------------------
Reinhard Kotucha Phone: +49-511-3373112
Marschnerstr. 25
D-30167 Hannover mailto:reinhard.kotucha at web.de
------------------------------------------------------------------
More information about the tex4ht
mailing list