Comment by gregjor

Almost trivially easy in a shell one-liner or awk script. I can't think of a reason I would want to display date/time for 418 unique named timezones, but to get the date/time in a specific timezone:

  TZ=Asia/Bangkok date
  TZ=America/Los_Angeles date