diff options
| author | Michael Kerrisk <mtk.manpages@gmail.com> | 2019-07-30 14:23:17 +0200 |
|---|---|---|
| committer | Michael Kerrisk <mtk.manpages@gmail.com> | 2019-09-23 13:11:19 +0200 |
| commit | d761305516231f30fc3a231586411d91241e79f8 (patch) | |
| tree | 95532410fe07cfb484d0fbd4da66b1272694b8e3 /man2 | |
| parent | 14caaed2c1ea032aff0441573b712a38f551e65b (diff) | |
| download | man-pages-d761305516231f30fc3a231586411d91241e79f8.tar.gz | |
pivot_root.2: Fix a technical detail
In this text:
If the current root is not a mount point (e.g., after an
earlier chroot(2) or pivot_root())...
mention of pivot_root() makes no sense, since (as noted in an
earlier commit message for this page) 'new_root' in a previous
pivot_root() must (since Linux 2.4.5) have been a mount point.
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>
Diffstat (limited to 'man2')
| -rw-r--r-- | man2/pivot_root.2 | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/man2/pivot_root.2 b/man2/pivot_root.2 index 0860cb2bea..5b4e38659e 100644 --- a/man2/pivot_root.2 +++ b/man2/pivot_root.2 @@ -96,9 +96,7 @@ is an existing mount point, its propagation type must not be .BR MS_SHARED . .PP If the current root is not a mount point (e.g., after an earlier -.BR chroot (2) -or -.BR pivot_root ()), +.BR chroot (2)), then the mount point of the filesystem containing the current root directory (i.e., not the directory itself) is mounted on \fIput_old\fP. .SH RETURN VALUE |