diff options
Diffstat (limited to 'FAQ')
| -rw-r--r-- | FAQ | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -32,10 +32,10 @@ A. This is caused by UTF-8 support in recent linuxes with glibc 2.2 or later 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. + This is fixed in the startup shell script in recent development + versions 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. |