Texinfo / parse-info stuff



   >From mailnull  Tue May  7 19:45:08 2013
   Received-SPF: pass (sog-mx-1.v43.ch3.sourceforge.com: domain of math.utexas.edu designates 146.6.25.6 as permitted sender) client-ip=146.6.25.6; envelope-from=maxima-bounces at math.utexas.edu; helo=irongate.mail.utexas.edu;
   From: Raymond Toy <toy.raymond at gmail.com>
   Date: Tue, 7 May 2013 12:43:17 -0700
   Content-Type: text/plain; charset="us-ascii"

   >>>>> "Leo" == Leo Butler <l_butler at users.sourceforge.net> writes:

       >> From mailnull  Tue May  7 16:19:50 2013
       Leo> Received-SPF: pass (sog-mx-4.v43.ch3.sourceforge.com: domain of math.utexas.edu designates 146.6.25.7 as permitted sender) client-ip=146.6.25.7; envelope-from=maxima-bounces at math.utexas.edu; helo=ironclad.mail.utexas.edu;
       Leo> From: Raymond Toy <toy.raymond at gmail.com>
       Leo> Date: Tue, 7 May 2013 09:18:09 -0700
       Leo> Content-Type: text/plain; charset="us-ascii"

       Leo> Being illiterate, I can't really say.  On my Ubuntu machine, if I
       Leo> can't seem to start easily a new terminal in anything other than
       Leo> utf-8.  On my Mac, I can create a new terminal with latin1, but then
       Leo> LANG is set to en_US.ISO8859-1.

       Leo> The behaviour on ubuntu is likely due to your shell reading the
       Leo> system-wide and/or personal rc file.

       Leo> The following will launch a new xterm with whatever locale settings you want:

       Leo> LC_ALL=de_DE LANG=de_DE LANGUAGE=de_DE xterm -e '/bin/bash --norc --noprofile'

       Leo> And this starts a bash sub-shell in your current terminal:

       Leo> LC_ALL=de_DE LANG=de_DE LANGUAGE=de_DE /bin/bash --norc --noprofile

       Leo> Of course, you can export these environment variables in your current
       Leo> shell, too.

   Yes, I knew about these options, but they are surely wrong if, say,
   your terminal is set up to use a utf-8, and LANG=de_DE actually causes
   applications to use latin1 instead of utf-8.

   Ray

Ray, I just wanted to clarify that there is an easy (ish?) way to launch
a terminal with whatever locale setting you want. The command

LC_ALL=de_DE LANG=de_DE LANGUAGE=de_DE xterm -e '/bin/bash --norc --noprofile'

causes your xterm to use the desired encoding and ensures the shell uses
the same encoding.

Of course, if the terminal and shell are in conflict, then problems
may ensue as you say.

Leo