Re: [PATCH v2] ioctl_userfaultfd.2, userfaultfd.2: add minor fault mode

From: Alejandro Colomar (man-pages)
Date: Sat Apr 02 2022 - 17:49:12 EST


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@xxxxxxxxx> 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/