Btw there is GPS clock apps on appstore, which you can click to set time from GPS. Im not sure if Gordon's code actually turns GPS on long enough to get the time. So if you haven't tested gps time which might be the case, if the script did nothing because it never got a fix. Just my 2 cents. I wont' interfere further, hope you get a solution.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Btw there is GPS clock apps on appstore, which you can click to set time from GPS. Im not sure if Gordon's code actually turns GPS on long enough to get the time. So if you haven't tested gps time which might be the case, if the script did nothing because it never got a fix. Just my 2 cents. I wont' interfere further, hope you get a solution.