diff options
author | 2004-04-15 23:02:38 +0000 | |
---|---|---|
committer | 2004-04-15 23:02:38 +0000 | |
commit | 8a355fa71f560c828a7d0d1f48034679791f526f (patch) | |
tree | 268de2b643063938122f8d98460f1b8f98bd3a93 /generic | |
parent | e53de9e3b32322a872a369019ee366e42e0b54df (diff) |
Comments.
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-shell.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 557c8557..7927c22b 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -295,10 +295,10 @@ Does nothing if proof assistant is already running." ;; PG 3.5: adjust the LANG variable to remove UTF-8 ;; encoding that may be there. This fix is targeted at RH - ;; 8 which has glibc 2.2, unicode encoding by default. - ;; FIXME: unfortunately this fix doesn't work; it's - ;; not enough to alter process-environment to effect - ;; a locale change. In bash, LANG=x <prog> works though. + ;; 8 and later which has glibc 2.2, unicode encoding by + ;; default. FIXME: unfortunately this fix doesn't work; + ;; it's not enough to alter process-environment to effect + ;; a locale change. In bash, LANG=x <prog> works though. (process-environment (if (not proof-shell-wakeup-char) ;; if specials not used, process-environment ;; leave it alone |