Patch looks good. One minor issue:
greg=# \set WATCH_INTERVAL -1
invalid value "-1" for "WATCH_INTERVAL": must be greater than 0.00
greg=# \set WATCH_INTERVAL 0.00
greg=#
We should disallow 0 as the error message implies
I've long wanted to be able to set the default interval for \watch in psql
> since I almost never want a 2 second wait.
Curious what other's personal defaults are? I usually use 1 second or 0.5
depending on things.
Cheers,
Greg
--
Crunchy Data - https://www.crunchydata.com
Enterprise Postgres Software Products & Tech Support