4 May
2022
4 May
'22
9:26 a.m.
On Wed, May 4, 2022 at 8:11 AM Jérôme LAURENS
The busy pdf can be named \jobname.pdf(busy), similar to \jobname.synctex(busy)
'(' and ')' need to be escaped in bash and , as written before, the format can choose the same name to write its data. So it has to be a temp name, something like \jobname-<tempname>, where <tempname> is given by the OS. -- luigi