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:<p><pre><code> TZ=Asia/Bangkok date
TZ=America/Los_Angeles date</code></pre>