mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 12:02:42 +01:00
11 lines
585 B
PowerShell
11 lines
585 B
PowerShell
# Generates a header file for converting between Windows timezone names to tzdb names
|
|
# using CLDR data.
|
|
# Usage: powershell -File gen_win_tzname_data.ps1 > win_tzname_data.h
|
|
|
|
write-output "/* This file was generated using gen_win_tzname_data.ps1 */"
|
|
$xdoc = new-object System.Xml.XmlDocument
|
|
$xdoc.load("https://raw.githubusercontent.com/unicode-org/cldr/master/common/supplemental/windowsZones.xml")
|
|
$nodes = $xdoc.SelectNodes("//mapZone[@territory='001']") # use default territory (001)
|
|
foreach ($node in $nodes) {
|
|
write-output ('{L"'+ $node.other + '","'+ $node.type+'"},')
|
|
}
|