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