On Mon, Feb 20, 2023 at 10:31:11AM -0600, Justin Pryzby wrote: > On Fri, Jan 13, 2023 at 03:30:15PM -0800, Nathan Bossart wrote: >> On Fri, Jan 13, 2023 at 03:24:09PM -0800, Jeff Davis wrote: >> > For completeness, did you consider CLUSTER and REINDEX options as well? >> >> I have not, but I can put together patches for those as well. > > Are you planning to do that here, on this thread ?
Yes, I just haven't made time for it yet. IIRC I briefly looked into CLUSTER and decided that it was probably not worth the effort, but I still think it's worth adding this option to REINDEX. -- Nathan Bossart Amazon Web Services: https://aws.amazon.com