#!/bin/sh
# settimeloop.sh: Get a timestring from a webserver and set date using this
# string. Repeat this endlessly.
while true ;
do
    wget -m -nd http://gehrcke.de/awsac/permstuff/time.php
    date --set="`cat time.php`"
    sleep 10
done
