Just noticed this blog entry http://www.davidpashley.com/cgi/pyblosxom.cgi/2006/05/04#gnome-terminal which seems to describe the exact problem I'm having. I've disabled the menu bar in my terminals, so I never noticed the charset option there. Indeed, as the blog says, the charset is set to ANSI_X3.4-1968 (ASCII7, I guess), rather than UTF8. Manually setting the charset fixes all my problems.
So, it seems that, rather then looking at the charset of the current session inside the terminal, gnome-terminal uses some other way to determine the charset to use. I'm not sure if it's relevant here, but I don't set a locale in /etc/environment, only in ~/.zshrc. -- Kind regards, +--------------------------------------------------------------------+ | Bas Zoetekouw | GPG key: 0644fab7 | |----------------------------| Fingerprint: c1f5 f24c d514 3fec 8bf6 | | [EMAIL PROTECTED], [EMAIL PROTECTED] | a2b1 2bae e41f 0644 fab7 | +--------------------------------------------------------------------+ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
