\pdffilesize and spaces

[Reinhard Kotucha]

On 2019-10-20 at 09:48:47 +0200, Bruno Le Floch wrote:

 > On 10/20/19 1:56 AM, Reinhard Kotucha wrote:
 > > On 2019-10-18 at 15:26:24 -0600, Karl Berry wrote:
 > >
 > >  > I think there is no way to use \pdffilesize etc. on arbitrary
 > >  > filenames. Maybe they can be made to work with one space, but 2+
 > >  > consecutive spaces in the input will get transmuted into one by
 > >  > TeX's scanner before the primitive over sees it, if I understand
 > >  > correctly. Catcode 9 characters will likewise disappear, etc., etc.
 > >
 > > I can at least confirm that pdftex primitives like \pdfximage
 > > circumvent TeX's scanner and allow an arbitrary number of
 > > consecutive spaces in filenames.
 >
 > Could you clarify what you mean?  Given the implementation in
 > pdftex.web, it's pretty clear that tokenization (including ignoring
 > consecutive spaces) still happens before \pdfximage receives its
 > argument.

Sorry for the noise.  I just looked into the script I wrote 13 years
ago and there is indeed a line

  \catcode32=13 \let \space

before the files are read.  I overlooked this line.

Regards,
  Reinhard

--
------------------------------------------------------------------
Reinhard Kotucha                            Phone: +49-511-3373112
Marschnerstr. 25
D-30167 Hannover                    mailto:reinhard.kotucha at web.de
------------------------------------------------------------------