diff options
| author | Alejandro Colomar <alx.manpages@gmail.com> | 2021-01-09 22:45:02 +0100 |
|---|---|---|
| committer | Michael Kerrisk <mtk.manpages@gmail.com> | 2021-01-10 09:15:48 +0100 |
| commit | ccca30c230e308a440319f7d87eaec2854fe937f (patch) | |
| tree | 84010c3efde24f6d0b466d5aa125527f9d1e2651 /man7/time_namespaces.7 | |
| parent | dc9cadc1c210f04975cca7a9d97cd964cc758303 (diff) | |
| download | man-pages-ccca30c230e308a440319f7d87eaec2854fe937f.tar.gz | |
Various pages: srcfix: Remove redundant .PP
.PP are redundant just after .SH or .SS.
Remove them.
$ find man? -type f \
|xargs sed -i '/^\.S[HS]/{n;/\.PP/d}';
Plus a couple manual edits.
Signed-off-by: Alejandro Colomar <alx.manpages@gmail.com>
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>
Diffstat (limited to 'man7/time_namespaces.7')
| -rw-r--r-- | man7/time_namespaces.7 | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/man7/time_namespaces.7 b/man7/time_namespaces.7 index 3291ba0069..d4f3a9d5f1 100644 --- a/man7/time_namespaces.7 +++ b/man7/time_namespaces.7 @@ -185,7 +185,6 @@ the contents of the .I timens_offsets file are inherited from the time namespace of the creating process. .SH NOTES -.PP Use of time namespaces requires a kernel that is configured with the .B CONFIG_TIME_NS option. @@ -211,7 +210,6 @@ The motivation for adding time namespaces was to allow the monotonic and boot-time clocks to maintain consistent values during container migration and checkpoint/restore. .SH EXAMPLES -.PP The following shell session demonstrates the operation of time namespaces. We begin by displaying the inode number of the time namespace of a shell in the initial time namespace: |
