Re: URIs in place of source filenames in error messages?

[Karl Berry]

Hi Michael,

    I wanted to ask if the issue of URIs as source file names in
    standard GNU-style error messages has ever come up, and what

Not that I can recall.  Thanks for writing all the details and the
suggestion of <...>.

I think the underlying issue isn't actually specific to url's; after
all, regular filenames can contain : characters.  It's never
specifically been addressed.

Just FYI, in practice, what I recall past versions of Emacs (that is,
next-error) doing is, more or less, looking for /^(.*):[0-9]: / and then
the filename is \1, including colons.  (What Emacs actually did is way
more complicated than that, but that was the idea.)  Of course this
loses if the :[0-9]:  pattern happens to match elsewhere in the error
message, but in reality ... (and what emacs 22 does is something
different again, as I understand it).

I'll forward your message to rms and go from there.

Thanks again,
Karl