
15 Jul
2020
15 Jul
'20
11:56 a.m.
On Wed, 15 Jul 2020, Viktor Dukhovni wrote:
On Wed, Jul 15, 2020 at 05:12:42PM +0200, Henning Thielemann wrote:
On Raspbian Buster I get:
pi@raspberrypi:~ $ LANG=de_DE ghc -e 'print System.IO.localeEncoding' UTF-8 pi@raspberrypi:~ $ LANG=de_DE.iso88591 ghc -e 'print System.IO.localeEncoding' UTF-8 pi@raspberrypi:~ $ LANG=de_DE@euro ghc -e 'print System.IO.localeEncoding' UTF-8
Do you have any other pertinent environment variables set? In particular, either LC_ALL or LC_CTYPE?
Aha: pi@raspberrypi:~ $ echo $LC_ALL de_DE.UTF-8 debian-buster$ echo $LC_ALL Actually, setting LC_ALL to the empty string solves the problem!