You may need to substitute 'LANG' with 'LANGUAGE' if the above does not work.
LC_ALL is the environment variable that overrides any more-specific settings (LC_CTYPE, LC_MESSAGES, LC_TIME, etc.), and LANG is the fallback that is used when none of the foregoing is set. These are standardized by POSIX and widely supported. LANGUAGE _might_ work, but is a GNU extension and might only be recognized by GNU tools or those seeking compatibility with them. References: https://pubs.opengroup.org/onlinepubs/9699919799/ https://www.gnu.org/software/gettext/manual/html_node/The-LANGUAGE-variable.... Regards, Branden On Mon, Jul 22, 2019 at 1:19 PM Lee, Damon (Data61, Kensington NSW) < Damon.Lee@data61.csiro.au> wrote:
Hi Austin,
The problem lies in this line:
CAmkES uses UTF-8 encoding, but your locale's preferred encoding is ansi_x3.4-1968. You can override your locale with the LANG environment variable.
So if you override your locale to UTF-8, the problem should go away. A possible solution would be:
`LANG=en_US.UTF-8 ./init --tut hello-camkes-0`
You may need to substitute 'LANG' with 'LANGUAGE' if the above does not work.
Sincerely, Damon _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel