On 06/07/2016 11:19 AM, Jakub Wilk wrote: > Signed-off-by: Jakub Wilk <jwilk@xxxxxxxxx> Applied. Thanks, Jakub. Cheers, Michael > --- > man5/proc.5 | 4 ++-- > 1 file changed, 2 insertions(+), 2 deletions(-) > > diff --git a/man5/proc.5 b/man5/proc.5 > index c84319b..2f8b51c 100644 > --- a/man5/proc.5 > +++ b/man5/proc.5 > @@ -133,10 +133,10 @@ whether other users are running any program at all, and so on). > Specifies the ID of a group whose members are authorized to > learn process information otherwise prohibited by > .BR hidepid > -(ie/e/, users in this group behave as though > +(i.e., users in this group behave as though > .I /proc > was mounted with > -.IR hidepid=0 . > +.IR hidepid=0 ). > This group should be used instead of approaches such as putting > nonroot users into the > .BR sudoers (5) > -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/ -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html