閏秒

今日は閏秒という事なので、多分、大丈夫だろうとは思いつつも、為念、確認していました。

以下のようなスクリプトを実行して、画面を眺めていたところ…

while :
do
    date
    sleep 0.75
done

ほ～、60秒にはならなかったけど、59秒が長いですな～。

Wed Jul  1 08:59:56 JST 2015
Wed Jul  1 08:59:57 JST 2015
Wed Jul  1 08:59:58 JST 2015
Wed Jul  1 08:59:59 JST 2015
Wed Jul  1 08:59:59 JST 2015
Wed Jul  1 08:59:59 JST 2015
Wed Jul  1 09:00:00 JST 2015
Wed Jul  1 09:00:01 JST 2015

ちゃんと、閏秒を認識しているんだ。