On Thu, Dec 22, 2022 at 7:57 AM Michael Paquier <mich...@paquier.xyz> wrote: > > On Wed, Dec 21, 2022 at 10:22:02PM +0100, Magnus Hagander wrote: > > Basically, we take one thing and turn it into 3. That very naturally rings > > with "split" to me. > > > > Parse might work as well, certainly better than dissect. I'd still prefer > > split though. > > Honestly, I don't have any counter-arguments, so I am fine to switch > the name as you are suggesting. And pg_split_walfile_name() it is?
+1. FWIW, a simple patch is here https://www.postgresql.org/message-id/CALj2ACXdZ7WGRD-_jPPeZugvWLN%2Bgxo3QtV-eZPRicUwjesM%3Dg%40mail.gmail.com. -- Bharath Rupireddy PostgreSQL Contributors Team RDS Open Source Databases Amazon Web Services: https://aws.amazon.com