From 33313a260ccd688984217a6cebc6f4604baf9028 Mon Sep 17 00:00:00 2001 From: Michael Kerrisk Date: Wed, 9 Oct 2019 12:14:35 +0200 Subject: [PATCH] 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 Signed-off-by: Michael Kerrisk --- man2/pivot_root.2 | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/man2/pivot_root.2 b/man2/pivot_root.2 index 2317c055f..ee45eddbc 100644 --- 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 ()