2022-11-25
https://discordapp.com/channels/918498540232253480/918498540232253483/1045649106560892968
It there a way to change the TimeZone on a device?
Yes.
Which version? v1 or v2?
V1
import core.time_impl show set_tz_
main:
set_tz_ "<some rules>"
Valid TZ values can be easily obtained by looking at the last line of the zoneinfo files on Linux machines:
tail -n1 /usr/share/zoneinfo/Europe/Copenhagen
For example: CET-1CEST,M3.5.0,M10.5.0/3
Looks like this page has a list as well: https://sites.google.com/a/usapiens.com/opnode/time-zones