On Mon 30 Nov 2020 at 17:28:50 (-0500), Stefan Monnier wrote: > > Finally, competing with the politicians, the scientists have > > complicated things with their atomic time and leap seconds. > > Is there leap-second information in the zoneinfo files? > Isn't this info "global" (i.e. not specific to particular time zones)? > > > Stefan "who for some reason presumed it's kept elsewhere but > couldn't say why"
AIUI: $ TZ=posix/America/Chicago date; TZ=right/America/Chicago date Mon Nov 30 18:45:34 CST 2020 Mon Nov 30 18:45:07 CST 2020 $ I don't know whether their history is encoded somewhere. I only recall the first leap second because IIRC the BBC changed the pips about the same time (making the sixth pip longer). Cheers, David.
