mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-07-16 23:41:09 +02:00
7fe3083f4c
We had two occurrences of "Mitteleuropäische Zeit" in Europe.txt, though the corresponding entries in Default were spelled "Mitteleuropaeische Zeit". Standardize on the latter spelling to avoid questions of which encoding to use. While here, correct a couple of other trivial inconsistencies between the Default file and the supposedly-matching entries in the *.txt files, as exposed by some checking with comm(1). Also, add BDST to the Europe.txt file; it previously was only listed in Default. None of this has any direct functional effect. Per complaint from Christoph Berg. As usual for timezone data patches, apply to all branches. Discussion: https://postgr.es/m/20200716100743.GE3534683@msg.df7cb.de
220 lines
8.6 KiB
Plaintext
220 lines
8.6 KiB
Plaintext
#
|
|
# NOTE:
|
|
# This file is NOT loaded by the PostgreSQL database. It just serves as
|
|
# a template for timezones you could need. See the `Date/Time Support'
|
|
# appendix in the PostgreSQL documentation for more information.
|
|
#
|
|
# src/timezone/tznames/Europe.txt
|
|
#
|
|
|
|
# CONFLICT! BST is not unique
|
|
# Other timezones:
|
|
# - BST: Bougainville Standard Time (Papua New Guinea)
|
|
BST 3600 D # British Summer Time
|
|
# (Europe/London)
|
|
BDST 7200 D # British Double Summer Time
|
|
CEST 7200 D # Central Europe Summer Time
|
|
# (Africa/Ceuta)
|
|
# (Europe/Amsterdam)
|
|
# (Europe/Andorra)
|
|
# (Europe/Belgrade)
|
|
# (Europe/Berlin)
|
|
# (Europe/Brussels)
|
|
# (Europe/Budapest)
|
|
# (Europe/Copenhagen)
|
|
# (Europe/Gibraltar)
|
|
# (Europe/Luxembourg)
|
|
# (Europe/Madrid)
|
|
# (Europe/Malta)
|
|
# (Europe/Monaco)
|
|
# (Europe/Oslo)
|
|
# (Europe/Paris)
|
|
# (Europe/Prague)
|
|
# (Europe/Rome)
|
|
# (Europe/Stockholm)
|
|
# (Europe/Tirane)
|
|
# (Europe/Vaduz)
|
|
# (Europe/Vienna)
|
|
# (Europe/Warsaw)
|
|
# (Europe/Zurich)
|
|
CET 3600 # Central Europe Time
|
|
# (Africa/Algiers)
|
|
# (Africa/Ceuta)
|
|
# (Europe/Amsterdam)
|
|
# (Europe/Andorra)
|
|
# (Europe/Belgrade)
|
|
# (Europe/Berlin)
|
|
# (Europe/Brussels)
|
|
# (Europe/Budapest)
|
|
# (Europe/Copenhagen)
|
|
# (Europe/Gibraltar)
|
|
# (Europe/Luxembourg)
|
|
# (Europe/Madrid)
|
|
# (Europe/Malta)
|
|
# (Europe/Monaco)
|
|
# (Europe/Oslo)
|
|
# (Europe/Paris)
|
|
# (Europe/Prague)
|
|
# (Europe/Rome)
|
|
# (Europe/Stockholm)
|
|
# (Europe/Tirane)
|
|
# (Europe/Vaduz)
|
|
# (Europe/Vienna)
|
|
# (Europe/Warsaw)
|
|
# (Europe/Zurich)
|
|
CETDST 7200 D # Central Europe Summer Time
|
|
# (Africa/Ceuta)
|
|
# (Europe/Amsterdam)
|
|
# (Europe/Andorra)
|
|
# (Europe/Belgrade)
|
|
# (Europe/Berlin)
|
|
# (Europe/Brussels)
|
|
# (Europe/Budapest)
|
|
# (Europe/Copenhagen)
|
|
# (Europe/Gibraltar)
|
|
# (Europe/Luxembourg)
|
|
# (Europe/Madrid)
|
|
# (Europe/Malta)
|
|
# (Europe/Monaco)
|
|
# (Europe/Oslo)
|
|
# (Europe/Paris)
|
|
# (Europe/Prague)
|
|
# (Europe/Rome)
|
|
# (Europe/Stockholm)
|
|
# (Europe/Tirane)
|
|
# (Europe/Vaduz)
|
|
# (Europe/Vienna)
|
|
# (Europe/Warsaw)
|
|
# (Europe/Zurich)
|
|
EEST 10800 D # East-Egypt Summertime
|
|
# Eastern Europe Summer Time
|
|
# (Africa/Cairo)
|
|
# (Asia/Amman)
|
|
# (Asia/Beirut)
|
|
# (Asia/Damascus)
|
|
# (Asia/Gaza)
|
|
# (Asia/Nicosia)
|
|
# (Europe/Athens)
|
|
# (Europe/Bucharest)
|
|
# (Europe/Chisinau)
|
|
# (Europe/Helsinki)
|
|
# (Europe/Istanbul)
|
|
# (Europe/Kaliningrad)
|
|
# (Europe/Kiev)
|
|
# (Europe/Minsk)
|
|
# (Europe/Riga)
|
|
# (Europe/Simferopol)
|
|
# (Europe/Sofia)
|
|
# (Europe/Tallinn)
|
|
# (Europe/Uzhgorod)
|
|
# (Europe/Vilnius)
|
|
# (Europe/Zaporozhye)
|
|
EET 7200 # East-Egypt Time
|
|
# Eastern Europe Time
|
|
# (Africa/Cairo)
|
|
# (Africa/Tripoli)
|
|
# (Asia/Amman)
|
|
# (Asia/Beirut)
|
|
# (Asia/Damascus)
|
|
# (Asia/Gaza)
|
|
# (Asia/Nicosia)
|
|
# (Europe/Athens)
|
|
# (Europe/Bucharest)
|
|
# (Europe/Chisinau)
|
|
# (Europe/Helsinki)
|
|
# (Europe/Istanbul)
|
|
# (Europe/Kaliningrad)
|
|
# (Europe/Kiev)
|
|
# (Europe/Minsk)
|
|
# (Europe/Riga)
|
|
# (Europe/Simferopol)
|
|
# (Europe/Sofia)
|
|
# (Europe/Tallinn)
|
|
# (Europe/Uzhgorod)
|
|
# (Europe/Vilnius)
|
|
# (Europe/Zaporozhye)
|
|
EETDST 10800 D # East-Egypt Summertime
|
|
# Eastern Europe Summer Time
|
|
# (Africa/Cairo)
|
|
# (Asia/Amman)
|
|
# (Asia/Beirut)
|
|
# (Asia/Damascus)
|
|
# (Asia/Gaza)
|
|
# (Asia/Nicosia)
|
|
# (Europe/Athens)
|
|
# (Europe/Bucharest)
|
|
# (Europe/Chisinau)
|
|
# (Europe/Helsinki)
|
|
# (Europe/Istanbul)
|
|
# (Europe/Kaliningrad)
|
|
# (Europe/Kiev)
|
|
# (Europe/Minsk)
|
|
# (Europe/Riga)
|
|
# (Europe/Simferopol)
|
|
# (Europe/Sofia)
|
|
# (Europe/Tallinn)
|
|
# (Europe/Uzhgorod)
|
|
# (Europe/Vilnius)
|
|
# (Europe/Zaporozhye)
|
|
FET 10800 # Further-eastern European Time (obsolete)
|
|
# (Europe/Kaliningrad)
|
|
# (Europe/Minsk)
|
|
GMT 0 # Greenwich Mean Time
|
|
# (Africa/Abidjan)
|
|
# (Africa/Bamako)
|
|
# (Africa/Banjul)
|
|
# (Africa/Bissau)
|
|
# (Africa/Conakry)
|
|
# (Africa/Dakar)
|
|
# (Africa/Lome)
|
|
# (Africa/Monrovia)
|
|
# (Africa/Nouakchott)
|
|
# (Africa/Ouagadougou)
|
|
# (Africa/Sao_Tome)
|
|
# (America/Danmarkshavn)
|
|
# (Atlantic/Reykjavik)
|
|
# (Atlantic/St_Helena)
|
|
# (Etc/GMT)
|
|
# (Europe/Dublin)
|
|
# (Europe/London)
|
|
# CONFLICT! IST is not unique
|
|
# Other timezones:
|
|
# - IST: Indian Standard Time (Asia)
|
|
# - IST: Israel Standard Time (Asia)
|
|
IST 3600 # Irish Standard Time
|
|
# (Europe/Dublin)
|
|
MEST 7200 D # Middle Europe Summer Time
|
|
# (MET)
|
|
MESZ 7200 D # Mitteleuropaeische Sommerzeit (German)
|
|
# (attested in IANA comments though not their code)
|
|
MET 3600 # Middle Europe Time
|
|
# (MET)
|
|
METDST 7200 D # Middle Europe Summer Time (not in IANA database)
|
|
MEZ 3600 # Mitteleuropaeische Zeit (German)
|
|
# (attested in IANA comments though not their code)
|
|
MSD 14400 D # Moscow Daylight Time (obsolete)
|
|
MSK Europe/Moscow # Moscow Time
|
|
# (Europe/Moscow)
|
|
# (Europe/Volgograd)
|
|
SAMST Europe/Samara # Samara Summer Time (obsolete)
|
|
SAMT Europe/Samara # Samara Time (obsolete)
|
|
VOLT Europe/Volgograd # Volgograd Time (obsolete)
|
|
WEST 3600 D # Western Europe Summer Time
|
|
# (Africa/Casablanca)
|
|
# (Atlantic/Canary)
|
|
# (Atlantic/Faeroe)
|
|
# (Atlantic/Madeira)
|
|
# (Europe/Lisbon)
|
|
WET 0 # Western Europe Time
|
|
# (Africa/Casablanca)
|
|
# (Africa/El_Aaiun)
|
|
# (Atlantic/Canary)
|
|
# (Atlantic/Faeroe)
|
|
# (Atlantic/Madeira)
|
|
# (Europe/Lisbon)
|
|
WETDST 3600 D # Western Europe Summer Time
|
|
# (Atlantic/Canary)
|
|
# (Atlantic/Faeroe)
|
|
# (Atlantic/Madeira)
|
|
# (Europe/Lisbon)
|