diff options
Diffstat (limited to 'man7/credentials.7')
| -rw-r--r-- | man7/credentials.7 | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/man7/credentials.7 b/man7/credentials.7 index 77cb5e0ef..317f59e8f 100644 --- a/man7/credentials.7 +++ b/man7/credentials.7 @@ -79,7 +79,8 @@ same process group). A process's group membership can be set using .BR setpgid (2). The process whose process ID is the same as its process group ID is the -\fIprocess group leader\fP for that group. +.I process group leader +for that group. .PP A session is a collection of processes that share the same session ID. All of the members of a process group also have the same session ID @@ -91,7 +92,8 @@ A new session is created when a process calls which creates a new session whose session ID is the same as the PID of the process that called .BR setsid (2). -The creator of the session is called the \fIsession leader\fP. +The creator of the session is called the +.IR "session leader" . .PP All of the processes in a session share a .IR "controlling terminal" . |