David Woodhouse [Wed, 6 Sep 2023 13:15:58 +0000 (14:15 +0100)]
Fix default setting of pump
Make a script which turns the pool pump on or off depending on whether
the time is between 7am and 7pm. Run it at 7am and 7pm.
Also run it on time sync, and on startup, to ensure that the pump is
running if it's supposed to be after a reboot.
The 'force' parameter ensures that we don't keep flipping it on at every
time sync; only at startup and at the regular 7am/7pm switches. So if
it's been overridden manually it should stay that way without surprises.