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/
