Simple alternative to quickly set the current time: use the date header of any webserver:

    date -s "`curl -I http://www.kernel.org |grep 'Date:'|awk -F': ' '{print $2}'`"