4 May
2022
4 May
'22
11:08 a.m.
On Wed, May 4, 2022 at 12:37 PM Jérôme LAURENS < jerome.laurens@u-bourgogne.fr> wrote:
How do you manage \jobname-<tmpname> when the process has been killed ?
Indeed, this is the problem.
In bash, quotes are already used to escape spaces in file paths such that ‘(‘ and ‘)’ should already be escaped for free.
sure, indeed ls 'foo.pdf(busy)' is ok while ls foo.pdf(busy) it is not -- a useless complication if one has to manage files at command line. Just avoid '(' etc, e.g. foo.pdf_busy_ is fine. -- luigi