On Tue, Dec 17, 2019 at 10:23:51AM +0100, Josef Šimánek wrote:
> For me this is the default way how to reindex whole table manually in psql
> since you get some "progress". Anyway I can remove it if you don't see any
> benefit in extending this example.
I have thought more about this one through the night, and I am still
not sure that this brings much. So, committed a simpler version
handling only the option part.
--
Michael