I am very sorry for my Input.
On Tue, Dec 1, 2020 at 12:28 AM David Wright <deb...@lionunicorn.co.uk> wrote: > On Mon 30 Nov 2020 at 18:25:00 (-0600), John Hasler wrote: > > Stefan writes: > > > Is there leap-second information in the zoneinfo files? > > > > No, but that is where is should be. > > It appears to be present, at least in the difference between the > "posix" and "right" trees; and its history can be demonstrated: > > $ for j in $(seq 1971 2020) ; do TZ=UTC touch -t "$j"04010000.00 "$j-apr" > ; done > $ for j in $(seq 1971 2020) ; do TZ=UTC touch -t "$j"10010000.00 "$j-oct" > ; done > $ TZ=right/UTC dirr-time-in-full -Gg > .: > total 0 > -rw-r----- 1 0 1971-04-01 00:00:00.000000000 +0000 1971-apr > -rw-r----- 1 0 1971-10-01 00:00:00.000000000 +0000 1971-oct > -rw-r----- 1 0 1972-04-01 00:00:00.000000000 +0000 1972-apr > -rw-r----- 1 0 1972-09-30 23:59:59.000000000 +0000 1972-oct > -rw-r----- 1 0 1973-03-31 23:59:58.000000000 +0000 1973-apr > -rw-r----- 1 0 1973-09-30 23:59:58.000000000 +0000 1973-oct > -rw-r----- 1 0 1974-03-31 23:59:57.000000000 +0000 1974-apr > -rw-r----- 1 0 1974-09-30 23:59:57.000000000 +0000 1974-oct > -rw-r----- 1 0 1975-03-31 23:59:56.000000000 +0000 1975-apr > -rw-r----- 1 0 1975-09-30 23:59:56.000000000 +0000 1975-oct > -rw-r----- 1 0 1976-03-31 23:59:55.000000000 +0000 1976-apr > -rw-r----- 1 0 1976-09-30 23:59:55.000000000 +0000 1976-oct > -rw-r----- 1 0 1977-03-31 23:59:54.000000000 +0000 1977-apr > -rw-r----- 1 0 1977-09-30 23:59:54.000000000 +0000 1977-oct > -rw-r----- 1 0 1978-03-31 23:59:53.000000000 +0000 1978-apr > -rw-r----- 1 0 1978-09-30 23:59:53.000000000 +0000 1978-oct > -rw-r----- 1 0 1979-03-31 23:59:52.000000000 +0000 1979-apr > -rw-r----- 1 0 1979-09-30 23:59:52.000000000 +0000 1979-oct > -rw-r----- 1 0 1980-03-31 23:59:51.000000000 +0000 1980-apr > -rw-r----- 1 0 1980-09-30 23:59:51.000000000 +0000 1980-oct > -rw-r----- 1 0 1981-03-31 23:59:51.000000000 +0000 1981-apr > -rw-r----- 1 0 1981-09-30 23:59:50.000000000 +0000 1981-oct > -rw-r----- 1 0 1982-03-31 23:59:50.000000000 +0000 1982-apr > -rw-r----- 1 0 1982-09-30 23:59:49.000000000 +0000 1982-oct > -rw-r----- 1 0 1983-03-31 23:59:49.000000000 +0000 1983-apr > -rw-r----- 1 0 1983-09-30 23:59:48.000000000 +0000 1983-oct > -rw-r----- 1 0 1984-03-31 23:59:48.000000000 +0000 1984-apr > -rw-r----- 1 0 1984-09-30 23:59:48.000000000 +0000 1984-oct > -rw-r----- 1 0 1985-03-31 23:59:48.000000000 +0000 1985-apr > -rw-r----- 1 0 1985-09-30 23:59:47.000000000 +0000 1985-oct > -rw-r----- 1 0 1986-03-31 23:59:47.000000000 +0000 1986-apr > -rw-r----- 1 0 1986-09-30 23:59:47.000000000 +0000 1986-oct > -rw-r----- 1 0 1987-03-31 23:59:47.000000000 +0000 1987-apr > -rw-r----- 1 0 1987-09-30 23:59:47.000000000 +0000 1987-oct > -rw-r----- 1 0 1988-03-31 23:59:46.000000000 +0000 1988-apr > -rw-r----- 1 0 1988-09-30 23:59:46.000000000 +0000 1988-oct > -rw-r----- 1 0 1989-03-31 23:59:46.000000000 +0000 1989-apr > -rw-r----- 1 0 1989-09-30 23:59:46.000000000 +0000 1989-oct > -rw-r----- 1 0 1990-03-31 23:59:45.000000000 +0000 1990-apr > -rw-r----- 1 0 1990-09-30 23:59:45.000000000 +0000 1990-oct > -rw-r----- 1 0 1991-03-31 23:59:44.000000000 +0000 1991-apr > -rw-r----- 1 0 1991-09-30 23:59:44.000000000 +0000 1991-oct > -rw-r----- 1 0 1992-03-31 23:59:44.000000000 +0000 1992-apr > -rw-r----- 1 0 1992-09-30 23:59:43.000000000 +0000 1992-oct > -rw-r----- 1 0 1993-03-31 23:59:43.000000000 +0000 1993-apr > -rw-r----- 1 0 1993-09-30 23:59:42.000000000 +0000 1993-oct > -rw-r----- 1 0 1994-03-31 23:59:42.000000000 +0000 1994-apr > -rw-r----- 1 0 1994-09-30 23:59:41.000000000 +0000 1994-oct > -rw-r----- 1 0 1995-03-31 23:59:41.000000000 +0000 1995-apr > -rw-r----- 1 0 1995-09-30 23:59:41.000000000 +0000 1995-oct > -rw-r----- 1 0 1996-03-31 23:59:40.000000000 +0000 1996-apr > -rw-r----- 1 0 1996-09-30 23:59:40.000000000 +0000 1996-oct > -rw-r----- 1 0 1997-03-31 23:59:40.000000000 +0000 1997-apr > -rw-r----- 1 0 1997-09-30 23:59:39.000000000 +0000 1997-oct > -rw-r----- 1 0 1998-03-31 23:59:39.000000000 +0000 1998-apr > -rw-r----- 1 0 1998-09-30 23:59:39.000000000 +0000 1998-oct > -rw-r----- 1 0 1999-03-31 23:59:38.000000000 +0000 1999-apr > -rw-r----- 1 0 1999-09-30 23:59:38.000000000 +0000 1999-oct > -rw-r----- 1 0 2000-03-31 23:59:38.000000000 +0000 2000-apr > -rw-r----- 1 0 2000-09-30 23:59:38.000000000 +0000 2000-oct > -rw-r----- 1 0 2001-03-31 23:59:38.000000000 +0000 2001-apr > -rw-r----- 1 0 2001-09-30 23:59:38.000000000 +0000 2001-oct > -rw-r----- 1 0 2002-03-31 23:59:38.000000000 +0000 2002-apr > -rw-r----- 1 0 2002-09-30 23:59:38.000000000 +0000 2002-oct > -rw-r----- 1 0 2003-03-31 23:59:38.000000000 +0000 2003-apr > -rw-r----- 1 0 2003-09-30 23:59:38.000000000 +0000 2003-oct > -rw-r----- 1 0 2004-03-31 23:59:38.000000000 +0000 2004-apr > -rw-r----- 1 0 2004-09-30 23:59:38.000000000 +0000 2004-oct > -rw-r----- 1 0 2005-03-31 23:59:38.000000000 +0000 2005-apr > -rw-r----- 1 0 2005-09-30 23:59:38.000000000 +0000 2005-oct > -rw-r----- 1 0 2006-03-31 23:59:37.000000000 +0000 2006-apr > -rw-r----- 1 0 2006-09-30 23:59:37.000000000 +0000 2006-oct > -rw-r----- 1 0 2007-03-31 23:59:37.000000000 +0000 2007-apr > -rw-r----- 1 0 2007-09-30 23:59:37.000000000 +0000 2007-oct > -rw-r----- 1 0 2008-03-31 23:59:37.000000000 +0000 2008-apr > -rw-r----- 1 0 2008-09-30 23:59:37.000000000 +0000 2008-oct > -rw-r----- 1 0 2009-03-31 23:59:36.000000000 +0000 2009-apr > -rw-r----- 1 0 2009-09-30 23:59:36.000000000 +0000 2009-oct > -rw-r----- 1 0 2010-03-31 23:59:36.000000000 +0000 2010-apr > -rw-r----- 1 0 2010-09-30 23:59:36.000000000 +0000 2010-oct > -rw-r----- 1 0 2011-03-31 23:59:36.000000000 +0000 2011-apr > -rw-r----- 1 0 2011-09-30 23:59:36.000000000 +0000 2011-oct > -rw-r----- 1 0 2012-03-31 23:59:36.000000000 +0000 2012-apr > -rw-r----- 1 0 2012-09-30 23:59:35.000000000 +0000 2012-oct > -rw-r----- 1 0 2013-03-31 23:59:35.000000000 +0000 2013-apr > -rw-r----- 1 0 2013-09-30 23:59:35.000000000 +0000 2013-oct > -rw-r----- 1 0 2014-03-31 23:59:35.000000000 +0000 2014-apr > -rw-r----- 1 0 2014-09-30 23:59:35.000000000 +0000 2014-oct > -rw-r----- 1 0 2015-03-31 23:59:35.000000000 +0000 2015-apr > -rw-r----- 1 0 2015-09-30 23:59:34.000000000 +0000 2015-oct > -rw-r----- 1 0 2016-03-31 23:59:34.000000000 +0000 2016-apr > -rw-r----- 1 0 2016-09-30 23:59:34.000000000 +0000 2016-oct > -rw-r----- 1 0 2017-03-31 23:59:33.000000000 +0000 2017-apr > -rw-r----- 1 0 2017-09-30 23:59:33.000000000 +0000 2017-oct > -rw-r----- 1 0 2018-03-31 23:59:33.000000000 +0000 2018-apr > -rw-r----- 1 0 2018-09-30 23:59:33.000000000 +0000 2018-oct > -rw-r----- 1 0 2019-03-31 23:59:33.000000000 +0000 2019-apr > -rw-r----- 1 0 2019-09-30 23:59:33.000000000 +0000 2019-oct > -rw-r----- 1 0 2020-03-31 23:59:33.000000000 +0000 2020-apr > -rw-r----- 1 0 2020-09-30 23:59:33.000000000 +0000 2020-oct > $ > > Each leap second occurs halfway between a pair of lines above > (the March and September options have never been used), and > all have been positive. > > Bear in mind that UTC and Atomic Time had already parted company > by 10 seconds before the start of leap seconds, so we're running > 37 seconds slow, rather than the 27 shown above. > > > > Isn't this info "global" (i.e. not specific to particular time zones)? > > > > It is specific to a particular *time*. > > Yes, 23:59:60 is inserted into UTC, so it will have occurred at > around dinner-time in the US (for those who eat "lunch" around noon). > > Cheers, > David. > > -- Thank You Robert M Tonkavich 989-205-2683
