Texinfo / parse-info stuff



>>>>> "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