Re: [Dev-luatex] Feature request: busy pdf

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 mailto:jerome.laurens@u-bourgogne.fr> 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.

-- luigi _______________________________________________ dev-luatex mailing list dev-luatex@ntg.nl https://mailman.ntg.nl/mailman/listinfo/dev-luatex