On 11/08/2017 11:32 PM, Jakub Wilk wrote: > Signed-off-by: Jakub Wilk <jwilk@xxxxxxxxx> Thanks, Jakub. Applied. Cheers, Michael > --- > man2/ioctl_tty.2 | 4 ++-- > 1 file changed, 2 insertions(+), 2 deletions(-) > > diff --git a/man2/ioctl_tty.2 b/man2/ioctl_tty.2 > index 346f86bf5..cd2a30425 100644 > --- a/man2/ioctl_tty.2 > +++ b/man2/ioctl_tty.2 > @@ -281,7 +281,7 @@ Set the foreground process group ID of this terminal. > .TP > .BI "TIOCGSID pid_t *" argp > Get the session ID of the given terminal. > -This fails fail with the error > +This fails with the error > .B ENOTTY > if the terminal is not a master pseudoterminal > and not our controlling terminal. > @@ -293,7 +293,7 @@ Put the terminal into exclusive mode. > No further > .BR open (2) > operations on the terminal are permitted. > -(They fail fail with > +(They fail with > .BR EBUSY , > except for a process with the > .BR CAP_SYS_ADMIN > -- 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