> Date: Thu, 14 Nov 2024 10:07:11 +0100 > From: Patrice Dumas <pertu...@free.fr> > > On Thu, Nov 14, 2024 at 07:42:02AM +0000, Gavin Smith wrote: > > On Thu, Nov 14, 2024 at 08:47:25AM +0200, Eli Zaretskii wrote: > > > I'm not sure I follow: do you intend to use "int\xc3\xa9rnal.txt" as > > > an actual file name on disk? In that case, please note that a > > > backslash cannot be part of a file name on Windows: it's a directory > > > separator. If you want an escape character, it should be something > > > else, like # for example. > > > > I had meant that - but I had forgotten that a backslash shouldn't be > > used in a file name on Windows. > > # is a comment in shell, maybe a % would be better?
Yes, % is another possibility.
