Messages in this thread |  | | Date | Sat, 2 Apr 2022 23:48:51 +0200 | Subject | Re: [PATCH v2] ioctl_userfaultfd.2, userfaultfd.2: add minor fault mode | From | "Alejandro Colomar (man-pages)" <> |
| |
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@gmail.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/
|  |