Re: Issue in man page cgroup_namespaces.7

[Jakub Wilk <jwilk@xxxxxxxxx>]

* Alejandro Colomar <alx.manpages@xxxxxxxxx>, 2022-12-04 21:07:
> > Issue:    user ID → UID
>
> IMO, (and I believe Branden will agree), user ID is more informative 
> than UID.

FWIW, "user ID" is already documented[*] to be preferred in compounds: 
set-user-ID, set-group-ID (rather than set-UID, set-GID).

> (don't know how much inconsistent the pages are regarding 
> that): UID -> user ID.

AFAICS both terms are widely used.


[*] See man-pages(7), subsection "Preferred terms". 

--
Jakub Wilk