On Thu, Jul 29, 2021 at 07:15:21PM +0200, Daniel Gustafsson wrote:
> > On 29 Jul 2021, at 17:29, Bruce Momjian <bruce@momjian.us> wrote:
> >
> > On Thu, Jul 29, 2021 at 05:23:20PM +0200, Daniel Gustafsson wrote:
> >>> On 29 Jul 2021, at 16:58, Bruce Momjian <bruce@momjian.us> wrote:
> >>
> >>> OK, I can adjust it to say "GNU split" or just skip this addition.
> >>
> >> I don't have strong feelings either way, with a slight preference for writing
> >> it as "GNU split" since it's still a good tip for a large amount of readers.
> >
> > Yes, I am on the fence for the same reasons but lean toward moving
> > forward for your same reasons.
>
> Making it two separate examples is a good idea, tipping the scale to a +1 from me.
>
> + If using <application>GNU split</application>, it is possible to
> A small nitpick is that we write this as GNU <application>..</application>
> elsewhere on this page (like GNU tar for example).
OK, updated patch attached. FYI, I put the GNU inside the application
name in the first version because we specifically only want the GNU
version of that application, but I think taking it out for consistency
is fine.
--
Bruce Momjian <bruce@momjian.us> https://momjian.us
EDB https://enterprisedb.com
If only the physical world exists, free will is an illusion.