Justin Pryzby <pryzby@telsasoft.com> writes:
> On Fri, Sep 23, 2022 at 01:33:07PM -0400, Tom Lane wrote:
> + Previously such files were left in the current directory,
> + requiring manual cleanup. It's still necessary to remove them
> + manually afterwards, but now one can just remove that whole
> + subdirectory.
> If pg_upgrade succeeds, then it removes the dir itself (so it's not
> "necessary").
Ah, I'd only ever paid attention to failure cases, so I didn't
realize that :-(. Text adjusted:
Previously such files were left in the current directory,
requiring manual cleanup. Now they are automatically removed on
successful completion of <application>pg_upgrade</application>.
I took most of your other suggestions, too. Thanks!
regards, tom lane