[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Impossible to customize world clock
From: |
Stefan Monnier |
Subject: |
Re: Impossible to customize world clock |
Date: |
Tue, 09 Apr 2024 11:12:42 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
>> Hmm... it's too bad that in order to automatically make it work on both
>> MS-Windows and other systems (by automatically choosing which var to
>> use) we end up silently ignoring the user's config when the user isn't
>> aware of this mechanism.
>>
>> Maybe we should have chosen for `world-clock-list` a format like
>>
>> ("London" "Europe/London" "GMT0BST")
>
> I'm not sure it will work reliably, since the MS-Windows runtime
> supports a very small number of zones via those legacy specifiers,
> nowhere near the number of zones you will see in the zoneinfo
> directory of a typical Posix host.
Oh, it wouldn't make any difference to what is supported and what is
not: on MS-Windows we'd use the 3rd element of the lists, and on other
systems we'd use the 2nd element of the list. The purpose would be only
to have a single variable, so the users are less likely to update one
without knowing it's not the one they're using.
Stefan
- Impossible to customize world clock, Kepa, 2024/04/08
- Re: Impossible to customize world clock, tpeplt, 2024/04/08
- Re: Impossible to customize world clock, Eli Zaretskii, 2024/04/09
- Re: Impossible to customize world clock, Stefan Monnier, 2024/04/09
- Re: Impossible to customize world clock, Eli Zaretskii, 2024/04/09
- Re: Impossible to customize world clock,
Stefan Monnier <=
- Re: Impossible to customize world clock, Eli Zaretskii, 2024/04/09
- Re: Impossible to customize world clock, Stefan Monnier, 2024/04/09
- Re: Impossible to customize world clock, Eli Zaretskii, 2024/04/09
- Re: Impossible to customize world clock, Emanuel Berg, 2024/04/09
- Re: Impossible to customize world clock, Eli Zaretskii, 2024/04/09
- Re: Impossible to customize world clock, Stefan Monnier, 2024/04/09
- Re: Impossible to customize world clock, Eli Zaretskii, 2024/04/10
- Re: Impossible to customize world clock, tpeplt, 2024/04/09
Re: Impossible to customize world clock, Eli Zaretskii, 2024/04/08