[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <cb85e759-d272-e165-beee-b0d1c8f87405@gmail.com>
Date: Sat, 2 Apr 2022 23:48:51 +0200
From: "Alejandro Colomar (man-pages)" <alx.manpages@...il.com>
To: Axel Rasmussen <axelrasmussen@...gle.com>
Cc: Mike Rapoport <rppt@...nel.org>,
Michael Kerrisk <mtk.manpages@...il.com>,
Andrea Arcangeli <aarcange@...hat.com>,
Andrew Morton <akpm@...ux-foundation.org>,
Hugh Dickins <hughd@...gle.com>,
Mike Kravetz <mike.kravetz@...cle.com>,
Peter Xu <peterx@...hat.com>,
LKML <linux-kernel@...r.kernel.org>, linux-man@...r.kernel.org,
Linux MM <linux-mm@...ck.org>
Subject: Re: [PATCH v2] ioctl_userfaultfd.2, userfaultfd.2: add minor fault
mode
Hi Axel,
On 3/22/22 17:31, Axel Rasmussen wrote:
> On Mon, Aug 2, 2021 at 5:21 AM Alejandro Colomar (man-pages)
> <alx.manpages@...il.com> wrote:
>>>>> +mode, user-space will receive a page-fault notification
>>
>> s/user-space/user space/
>>
>> See the following extract from man-pages(7):
>>
>> Preferred terms
>> The following table lists some preferred terms to use in
>> man pages, mainly to ensure consistency across pages.
>>
>> Term Avoid using Notes
>> ─────────────────────────────────────────────────────────────
>> [...]
>> user space userspace
>>
>> However, when user space is used as an adjective, per the usual English
>> rules, we write "user-space". Example: "a user-space program".
>
> 100% agreed that "user space" is more correct, but this man page
> already has many instances of "user-space" in it. I'd suggest we
> either fix all of them, or just follow the existing convention within
> this page.
>
> How about, leaving this as-is for this patch, to keep the diff tidy,
> and I can send a follow-up patch to fix all the instances of this in
> this page?
>
Sure. Sorry for the delay.
Thanks,
Alex
--
Alejandro Colomar
Linux man-pages comaintainer; https://www.kernel.org/doc/man-pages/
http://www.alejandro-colomar.es/
Powered by blists - more mailing lists