HD Install :: Steps to set time during boot

The bios battery in this system is dead. Until the time I get it fixed, I'd like to have the system set the time off the internet when it boots.

I would like to do it during bootlocal.sh

Could you point me to the correct commands to set it?

/usr/local/bin/gettime.lua

original here.