Re: 780 files in /usr/share/zoneinfo/

[Curt <curty@free.fr>]

On 2020-11-24, John Hasler <jhasler@newsguy.com> wrote:
> rhkramer writes:
>> To find out the time in some other time zone, I find it convenient to
>> just google [time in <name of place>] (e.g., time in China).
>
> "TZ=<time zone> date" is quicker.  "date -d 'time and date in other timezone'"
> converts a given time and date to local time and date. 

I have a problem:

curty@einstein:~$ TZ=EST date
Tue Nov 24 11:43:42 EST 2020
curty@einstein:~$ TZ=PST date
Tue Nov 24 16:43:54 PST 2020

However,

curty@einstein:~$ TZ=":America/Los_Angeles" date
Tue Nov 24 08:40:42 PST 2020

And yet,

curty@einstein:~$ TZ=":America/San_Francisco" date
Tue Nov 24 16:42:03 America 2020