#! /bin/sh
#
#       Set time from network time server machine given as
#       first argument.  You must be the super-user for the
#       time to be set.
#
#       Example:
#                   nettime worldbrain
#
rsh $1 date +\"date %y%m%d%H%M.%S\" | sh
