On Thu, Mar 30, 2023 at 10:27 AM Sven Schreiber
Am 20.03.2023 um 23:05 schrieb Sven Schreiber:
> Am 20.03.2023 um 20:25 schrieb Cottrell, Allin:
>> Hmm, I can't replicate that. I run gretl with LANG=de_DE.UTF-8, select
>> the option of using the locale decimal character, and enter two lines
>> of code in the script editor:
>> x = 13.7
>> eval x
>> * I run the script and see "13,7" on output.
>> * I turn off the locale decimal character, run the script again, and see
>> * I turn the locale decimal character back on, run the script again,
>> and see "13,7".
> I can replicate your behavior when I set the language explicitly to
> German (and restarting gretl). But I see the problem previously
> described when my setting is "auto" (on a German Windows installation,
> or rather: Windows set to German).
So is this a confirmed but now, or has it even been fixed already?
I can't confirm this myself, but I can take your word for it. Also,
after some investigation it seems plausible that we might not revert
to the locale decimal separator if the language setting in gretl is
"Automatic" and there's no LANG in the environment on Windows.
This would help: If you run gretl.exe --debug on German Windows with
language "Automatic", what string do you see for "Windows locale"?