pivot_root.2: Change "filesystem" to "mount" in various places

Quoting Eric:

    If we are going to be pedantic "filesystem" is really the
    wrong concept here.  The section about bind mount clarifies
    it, but I wonder if there is a better term.

    I think I would say: "new_root and put_old must not be on
    the same mount as the current root."

    I think using "mount" instead of "filesystem" keeps the
    concepts less confusing.

    As I am reading through this email and seeing text that is
    trying to be precise and clear then hitting the term
    "filesystem" is a bit jarring.  pivot_root doesn't care a
    thing for file systems.  pivot_root only cares about mounts.

    And by a "mount" I mean the thing that you get when you
    create a bind mount or you call mount normally.

Reported-by: Eric W. Biederman <ebiederm@xmission.com>
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>

diff --git a/man2/pivot_root.2 b/man2/pivot_root.2
index 2317c055fbf1553430bad9d06c4c9d026eb8ee2e..ee45eddbca47519371245c7bce55ffeff3cb4435 100644 (file)
--- a/man2/pivot_root.2
+++ b/man2/pivot_root.2
@@ -72,8 +72,10 @@ and
 .IR put_old
 must be directories.
 .IP \-
-\fIput_old\fP must not be on the same filesystem as
-the current root.
+.I new_root
+and
+.I put_old
+must not be on the same mount as the current root.
 .IP \-
 \fIput_old\fP must be at or underneath \fInew_root\fP;
 that is, adding a nonnegative
@@ -191,7 +193,7 @@ from where it can subsequently be unmounted.
 (The fact that it moves all processes that have a root directory
 or current working directory on the old root directory to the
 new root frees the old root directory of users,
-allowing the old root filesystem to be unmounted more easily.)
+allowing the old root mount to be unmounted more easily.)
 .PP
 A typical use of
 .BR pivot_root ()