Espruino on ESP32 で 今更だけど時刻変更

テスト用に時刻変更しようと思ったら、時刻設定方法ってどうだっけ？とすぐに出てこなかったので、メモ。

以下のように実行すればOK

setTime(Date("2017-07-30T21:00:00").ms/1000)

Date.msで得られる値はミリ秒で、setTime()に設定する値は秒なので、1000で割る。

Dateは年月日区切りは「-」で、時分秒区切りは「:」。その間に「T」を入れる。