aboutsummaryrefslogtreecommitdiffstats
path: root/man2
diff options
context:
space:
mode:
authorMichael Kerrisk <mtk.manpages@gmail.com>2019-10-09 09:37:35 +0200
committerMichael Kerrisk <mtk.manpages@gmail.com>2019-10-09 09:40:15 +0200
commit9f3af6b8c88fe59eb8e7fdfe15e7861535aa94e1 (patch)
tree9b75dd4a117abea29b31b39b52c5d05f5d62eb4b /man2
parentb27d444f347bdc0146980a3db76428f82b391ba1 (diff)
downloadman-pages-9f3af6b8c88fe59eb8e7fdfe15e7861535aa94e1.tar.gz
pivot_root.2: Simplify discussion of restrictions for 'new_root'
Philipp Wendler noted that the text on the restrictions for 'new_root' was slightly contradictory, and things could be clarified and simplified by describing the restrictions on 'new_root' in one place. Reported-by: Philipp Wendler <ml@philippwendler.de> Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>
Diffstat (limited to 'man2')
-rw-r--r--man2/pivot_root.216
1 files changed, 7 insertions, 9 deletions
diff --git a/man2/pivot_root.2 b/man2/pivot_root.2
index 7b91dbc147..2317c055fb 100644
--- a/man2/pivot_root.2
+++ b/man2/pivot_root.2
@@ -72,13 +72,8 @@ and
.IR put_old
must be directories.
.IP \-
-\fInew_root\fP and \fIput_old\fP must not be on the same filesystem as
+\fIput_old\fP must not be on the same filesystem as
the current root.
-In particular,
-.IR new_root
-can't be
-.IR """/"""
-(but can be a bind mounted directory on the current root filesystem).
.IP \-
\fIput_old\fP must be at or underneath \fInew_root\fP;
that is, adding a nonnegative
@@ -86,10 +81,13 @@ number of \fI/..\fP to the string pointed to by \fIput_old\fP must yield
the same directory as \fInew_root\fP.
.IP \-
.I new_root
-must be a mount point.
-(If it is not otherwise a mount point, it suffices to bind mount
+must be a mount point, but can't be
+.IR """/""" .
+If it is not otherwise a mount point, it suffices to bind mount
.I new_root
-on top of itself.)
+on top of itself.
+.RI ( new_root
+can be a bind mounted directory on the current root filesystem.)
.IP \-
The propagation type of the parent mount of
.IR new_root