On 08/03/2014 12:05 AM, Simon Paillard wrote: > Missing verb Thanks, Simon. Applied. Cheers, Michael > --- > man5/proc.5 | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/man5/proc.5 b/man5/proc.5 > index d721a3b..d69555b 100644 > --- a/man5/proc.5 > +++ b/man5/proc.5 > @@ -3467,7 +3467,7 @@ file is also nonzero, then the machine will be rebooted. > .IR /proc/sys/kernel/pid_max " (since Linux 2.5.34)" > This file specifies the value at which PIDs wrap around > (i.e., the value in this file is one greater than the maximum PID). > -PIDs greater than this value not allocated; > +PIDs greater than this value are not allocated; > thus, the value in this file also acts as a system-wide limit > on the total number of processes and threads. > The default value for this file, 32768, > -- 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