#!/bin/sh

################################################################################
#
#   THIS SCRIPT DOES NOTHING UNLESS YOU UNCOMMENT THINGS!
#
#   ppplcd-misc-null version MARKER_PATCHLEVEL
#   $Header: /home/ahuxley/dev/supported/ppplc/doc/examples/RCS/ppplc-misc-null,v 1.3 1999/01/07 13:26:17 alexis Exp $
#
################################################################################

#  A function to set the time on your system from a remote time server
set_time()
{
    TIME_SERVER=$1

    /usr/bin/host -s 2 $TIME_SERVER || exit 1
    /bin/ping -c 1 $TIME_SERVER || exit 1
    /sbin/hwclock --set --utc --date="`/usr/sbin/rdate $TIME_SERVER`"
}

#  For Demon ISP
#set_time time.demon.co.uk