How do you manage \jobname-<tmpname> when the process has been killed ?

In bash, quotes are already used to escape spaces in file paths such that  ‘(‘ and ‘)’ should already be escaped for free.

Le 4 mai 2022 à 09:26, luigi scarso <> a écrit :

On Wed, May 4, 2022 at 8:11 AM Jérôme LAURENS <> wrote:
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.

dev-luatex mailing list