# run wrs_leapsec every 3 hours to detect incoming leap second
00 */3 * * * /etc/init.d/check_incoming_leap_second.sh
# run 1 time per day at 9:10. The script  leap_seconds_file_update.sh is then executed randomly in a 23 hours range 
10 9   * * * /etc/init.d/leap_seconds_file_update -r 1380

