<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:georgia,serif"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Nov 10, 2020 at 2:15 PM Bruce Labitt <<a href="mailto:bruce.labitt@myfairpoint.net">bruce.labitt@myfairpoint.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">"Dumb" machine, while actually computer controlled, is closed source. <br>
No possibility of changing its behavior.<br>
No ssh, no network. It's a data logger to an SD card. I have to use <br>
sneaker net to transport data to my PC.<br>
<br>
Other possibility (after a SD card backup) is to change the dumb machine <br>
clock back to standard time, hopefully without messing any settings up. <br></blockquote><div><br></div><div style="font-family:georgia,serif" class="gmail_default">Dumb machines that don't understand timezones properly should probably be set to Zulu=UTC as their timezone.</div><div style="font-family:georgia,serif" class="gmail_default">(Which is the internal time for most Linux systems' RTC also, TZ are just user interface things there.)<br></div><div style="font-family:georgia,serif" class="gmail_default"><br></div><div style="font-family:georgia,serif" class="gmail_default">(This solves the problem of having the same times twice when falling back; there's no change.)</div><div style="font-family:georgia,serif" class="gmail_default"><br></div><div style="font-family:georgia,serif" class="gmail_default">My Garmin GPS claims to understand TZ (for display) but records posits as Z=UTC.<br></div><div style="font-family:georgia,serif" class="gmail_default"><br></div><div style="font-family:georgia,serif" class="gmail_default">Alas that just makes things worse for reading the SD card, as that's always 4-5 hours ahead, unless the TZ is included in the timestamp on the SD card (but not indication of DST/ST)?</div><div style="font-family:georgia,serif" class="gmail_default"></div></div><br></div>