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 <luigi.scarso@gmail.com> a écrit :



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