Well, thinking this over, the fact that we use #encoding
to get at the encoding of something is probably good enough
to leave the option name at -encoding.

Regards,    Martin.

At 19:55 07/10/21, Martin Duerst wrote:
>At 07:28 07/10/18, David Flanagan wrote:
>>Martin Duerst wrote:
>
>>> I'm not sure why we would want to use "coding" at the top of the
>>> file, but "ENcoding" for the option. We should think about aligning
>>> them before it's too late.
>
>>Matz fixed this.
>
>>So encoding, fileencoding or anything with "coding" followed by equals or 
>colon now works.  The emacs-magic -*- aren't required anymore, either.
>>
>>I don't know if "coding" is the preferred form, or is just an 
>emacs-specific thing.
>
>"coding" is the shortest allowed form. Actually, one could use
>"foocoding", "barcoding", or whatever else. So "coding" is the
>common denominator.
>
>Regards,   Martin.
>
>
>
>#-#-#  Martin J. Du"rst, Assoc. Professor, Aoyama Gakuin University
>#-#-#  http://www.sw.it.aoyama.ac.jp       mailto:duerst / it.aoyama.ac.jp     


#-#-#  Martin J. Du"rst, Assoc. Professor, Aoyama Gakuin University
#-#-#  http://www.sw.it.aoyama.ac.jp       mailto:duerst / it.aoyama.ac.jp