Am 30.03.2023 um 20:06 schrieb Cottrell, Allin:
On Thu, Mar 30, 2023 at 10:27 AM Sven Schreiber
<sven.schreiber(a)fu-berlin.de> wrote:
> Am 20.03.2023 um 23:05 schrieb Sven Schreiber:
>> Am 20.03.2023 um 20:25 schrieb Cottrell, Allin:
>>
>> 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"?
German_Germany.1252
cheers
sven