From ce23042de0ed503ee96f46f6e4011126da6e504b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 2 Jun 2005 09:53:17 +0000 Subject: Update FAQ #1 --- FAQ | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) (limited to 'FAQ') diff --git a/FAQ b/FAQ index a687fb09..87ca0147 100644 --- a/FAQ +++ b/FAQ @@ -28,13 +28,18 @@ A. This is caused by UTF-8 support in recent linuxes with glibc 2.2 or later $ LC_CTYPE=en_GB xemacs & - The supplied proofgeneral script makes this setting if it sees - the string UTF in the current value of LC_CTYPE. + (where $ is the shell prompt; this example is for my locale which + by default is "en_GB.UTF-8": I see this by typing "locale" at + the prompt). + + This is fixed in the development version of Proof General: the + supplied proofgeneral script makes an adjustment if it sees + the string UTF in the current value of LC_CTYPE and an adjustment + is made inside the Emacs environment. Alternatively you can set LC_CTYPE inside a file ~/.i18n, which will be read the shell. Put a line such as "LC_CTYPE=en_GB" into this file. However, this action will affect all applications. - [ suggestions for a better workaround inside Emacs would be welcome ] NB: a related issue is warnings from x-symbol: "Emacs language environment and system locale specify different encoding, I'll -- cgit v1.2.3