> 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.html#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