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? What is the output of: $ locale -a | grep de_DE
On Debian Buster it is correct:
$ LANG=de_DE ghc -e 'print System.IO.localeEncoding' ISO-8859-1
Do you have any other pertinent environment variables set? In particular, either LC_ALL or LC_CTYPE? What is the output of: $ locale -a | grep de_DE -- Viktor.