In the profile settings for this very discussion board,
Current server time is: Thu Dec 13 17:30:01 2007
Choose your time offset in hours (…,-2,-1,0,1,2,…)
which of course means one must every half year adjust it if one does
not live in a land of daylight savings time, no?
Too bad it can’t use
$ TZ=Asia/Pyongyang date
And what if one lives in e.g., India where it is not one whole hour but a half?