Re: special characters in filenames in error messages

[Paolo Bonzini]

> The \ooo convention could be used for any character, but in an 8-bit
> clean environment, I believe it is only *required* for " and \.

I think for \n too.  Also, is this supposed to be machine- or
human-readable?  If it is human-readable, I think it is better to:

- use \a \b \f \n \r \t \v for ASCII 7-8-12-10-13-9-11
- use \" \\ for " and \
- use \x[0-9a-f][0-9a-f] for ASCII 0-6, 14-31 and 127

Paolo