>From mailnull Tue May 7 21:33:46 2013
Received-SPF: pass (sog-mx-1.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;
From: Raymond Toy <toy.raymond at gmail.com>
Date: Tue, 7 May 2013 14:33:11 -0700
Content-Type: text/plain; charset="us-ascii"
>>>>> "Leo" == Leo Butler <l_butler at users.sourceforge.net> writes:
Ray> Yes, I knew about these options, but they are surely wrong if, say,
Ray> your terminal is set up to use a utf-8, and LANG=de_DE actually causes
Ray> applications to use latin1 instead of utf-8.
Leo> Ray, I just wanted to clarify that there is an easy (ish?) way to launch
Leo> a terminal with whatever locale setting you want. The command
Leo> LC_ALL=de_DE LANG=de_DE LANGUAGE=de_DE xterm -e '/bin/bash --norc --noprofile'
Leo> causes your xterm to use the desired encoding and ensures the shell uses
Leo> the same encoding.
Ah, I was using gnome-terminal. That doesn't seem to work and I get
Gtk messages about locale not supported by C library, locale
unchanged.
Ray
Hmmm. The above command works for me with gnome-terminal in place of xterm.
Do you have the locales installed?
Also, with gnome-terminal I think you can create a profile with the
desired encoding and open the terminal with that profile.
Leo