bug#4712: File encoding

[Stefan Monnier]

>> > Maybe so, but this part of the OP's report:
>> 
>> >   value of $LANG: en_AU.UTF-8
>> >   locale-coding-system: utf-8
>> 
>> > indicates that UTF-8 is the "native" encoding on the OP's machine, and
>> > there is an overwhelming user demand for silently and transparently
>> > switch to such a native encoding when we need to select an encoding.
>> 
>> The `coding' cookie trumps any such setting, since when we read the
>> file, we will blindly obey the cookie without paying any attention to
>> the user's locale.

> Right, and we did:

>   Selected encoding mule-utf-8-unix disagrees with iso-8859-1-unix
>   specified by file contents.

The fact that we even consider utf-8 is the bug, it means that the
coding cookie didn't actually "trump" the locale setting.


        Stefan