On 23/05/2014 14:43, Ulrike Fischer wrote:
> (But I wouldn't like to bother Christian for something that it is
> only needed to handle file names with spaces. Imho when you start to
> quote file names there is soon either one quoting level too much or
> too few when people start to pass the file names around. There are
> better ways to spent ones time ;-)).
Note that the space business here is a macro level thing. Currently
expl3 explicitly forbids any spaces in names, i.e. it's more restrictive
than the engines are. Piped input is not really linked to that except as
the pipe is a 'file name' of sorts, forbidding spaces leads to an
unexpected error with expl3. Nothing in that sense to worrk Christian about.