Re: tilde in file names, still a problem

[Karl Berry]

    Can one of you imagine any way to fix that problem? 

I can imagine ways, like running tex differently:
tex '\catcode126=12 \input foo~bar/baz.texi'

It will take some time to figure out if it can really work.
Patches welcome.