<div dir="ltr"><div class="gmail_default" style=""><font face="times new roman, serif">“...whether "standard time" or "alternate time" was intended.” is simply a bad UI.</font></div><div class="gmail_default" style=""><font face="times new roman, serif"><br></font></div><div class="gmail_default" style=""><font face="times new roman, serif">The user may have no notion of what that "standard" means, if times in their language are called the equivalent of "<span style="color:rgb(34,34,34);font-family:"times new roman",serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">Summer time</span>" and "Winter time". And "Summer time" may actually be more of the year, and thus more "standard". Your phrase "<span style="color:rgb(34,34,34);font-size:12.8px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">(as would anyone sane)" would imply that all of those users are insane, which seems just a tad far-fetched.</span></font></div><div class="gmail_default" style=""><font face="times new roman, serif"><span style="color:rgb(34,34,34);font-size:12.8px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"><br></span></font></div><div class="gmail_default" style=""><font face="times new roman, serif">The right question to ask is to just use the names that are used:</font></div><div class="gmail_default" style=""><font face="times new roman, serif"><br></font></div><div class="gmail_default" style=""><span style="color:rgb(34,34,34);font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"><font face="times new roman, serif">... whether "<span style="color:rgb(34,34,34);font-size:12.8px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">Irish Standard Time</span>" or "<span style="color:rgb(34,34,34);font-size:12.8px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:left;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">Greenwich Mean Time</span>" was intended.</font></span><br></div></div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><font face="'times new roman', serif"><div style="background-color:transparent;margin-top:0px;margin-left:0px;margin-bottom:0px;margin-right:0px"><div></div></div><div style="background-color:transparent;margin-top:0px;margin-left:0px;margin-bottom:0px;margin-right:0px">Mark</div></font><div><div><font face="'times new roman', serif"><i><span style="font-style:normal"><i></i></span><i></i></i></font></div></div></div></div></div></div></div></div></div></div></div></div></div>
<br><div class="gmail_quote">On Sun, Feb 11, 2018 at 11:20 AM, Robert Elz <span dir="ltr"><<a href="mailto:kre@munnari.oz.au" target="_blank">kre@munnari.oz.au</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">    Date:        Sun, 11 Feb 2018 10:36:57 +0100<br>
    From:        =?UTF-8?B?<wbr>TWFyayBEYXZpcyDimJXvuI8=?= <<a href="mailto:mark@macchiato.com">mark@macchiato.com</a>><br>
    Message-ID:  <CAJ2xs_Gjg4ioTx=DG-<wbr>4xYBfrTnNhUiNLkb2CR=<a href="mailto:8ATbPT88z2FA@mail.gmail.com">8ATbPT88z2<wbr>FA@mail.gmail.com</a>><br>
<span class=""><br>
  | Why does that make any difference to a user?<br>
<br>
</span>Depends upon the user, and what they are doing.<br>
<br>
Consider a user with an app in which the user can enter a date & time<br>
for some purpose (calendaring, or whatever).  Suppose the user happens<br>
to enter the time during the period when the clocks have just switched<br>
backwards (the period of ambiguity) so the app, being a well written<br>
(and posixified) app, asks the user whether "standard time" or "alternate time"<br>
was intended.   The user, in Eire, wants "Irish Standard Time" so they<br>
reply "standard" (as would anyone sane).  The app then sets tm_isdst to 0<br>
and re-does the mktime() which (as things are now) will generate the "GMT"<br>
UTC equivalent time, instead of the "IST" version, exactly the opposite of<br>
what the user intended.    It does matter.<br>
<span class=""><br>
  | Why do people think that the name  has to be aligned with that flag,<br>
<br>
</span>The name obviously doesn't (in Eire, it could be in Gaellic) - but the concepts<br>
need to be applied correctly.<br>
<br>
The value of tm_isdst from localtime()  should be simply regarded as<br>
noise, it is of no value whatever.  But the uses of tm_isdst (badly named as<br>
the field is for the purpose) in mktime() are both valid, and useful, and for<br>
that it needs to work correctly.<br>
<br>
kre<br>
<br>
</blockquote></div><br></div>