Hi Helge, Michael, Jakub,

On Sun, Nov 17, 2024 at 12:21:03PM GMT, Alejandro Colomar wrote:

[CC += Jakub, mtk]

Hi Helge,

On Sun, Nov 17, 2024 at 10:46:22AM GMT, Helge Kreutzmann wrote:

quoted

Without further ado, the following was found:

Issue:    mount point → mount ?

"The propagation type assigned to a new mount depends on the propagation type "
"of the parent mount.  If the mount has a parent (i.e., it is a non-root "
"mount point) and the propagation type of the parent is B<MS_SHARED>, then "
"the propagation type of the new mount is also B<MS_SHARED>.  Otherwise, the "
"propagation type of the new mount is B<MS_PRIVATE>."

I still don't know what to do about this.  Maybe Michael has an opinion.

For context:
<https://lore.kernel.org/linux-man/20231101162310.u4b46gii47yjhsgt@jwilk.net/ (local)>

We finally have a solution to this report.  I have pushed the following
commit to my server, and will tomorrow push to <kernel.org>.
<https://www.alejandro-colomar.es/src/alx/linux/man-pages/man-pages.git/commit/?h=contrib&id=fbbb5b3100f38721911f91caa4bd1472213649f8>

	commit 842920e7c877c93f0bddc17d4fa1710d6ce46330 (HEAD -> contrib, alx/contrib)
	Author: Alejandro Colomar [off-list ref]
	Date:   Sun Nov 17 23:16:59 2024 +0100

	    mount_namespaces.7: Use correctly the terms "mount" and "mount point"
	    
	    On Sun, Nov 17, 2024 at 04:12:24PM GMT, Michael Kerrisk wrote:
	    >
	    > A "mount" is a tuple consisting of:
	    > * a mount ID
	    > * a source (e.g., a device)
	    > * a target or "mount point" (i.e. a path name)
	    > * the ID of the parent of this mount
	    > * other stuff (e.g., options)
	    
	    Reported-by: Helge Kreutzmann [off-list ref]
	    Cc: Jakub Wilk [off-list ref]
	    Acked-by: "Michael T. Kerrisk" [off-list ref]
	    Signed-off-by: Alejandro Colomar [off-list ref]

	diff --git a/man/man7/mount_namespaces.7 b/man/man7/mount_namespaces.7
	index 75ccfc80d..a1645e9e2 100644
	--- a/man/man7/mount_namespaces.7
	+++ b/man/man7/mount_namespaces.7
	@@ -985,8 +985,9 @@ .SH HISTORY
	 .SH NOTES
	 The propagation type assigned to a new mount depends
	 on the propagation type of the parent mount.
	-If the mount has a parent (i.e., it is a non-root mount
	-point) and the propagation type of the parent is
	+If the mount has a parent
	+(i.e., it is a non-root mount)
	+and the propagation type of the parent is
	 .BR MS_SHARED ,
	 then the propagation type of the new mount is also
	 .BR MS_SHARED .


We finally have a guide for differentiating mounts and mount points
(thanks Michael!), so if anyone finds anything that deviates from it,
please report it.  Thanks!

Cheers,
Alex


P.S.: Michael, is this use of your addresses ok?


-- 
<https://www.alejandro-colomar.es/>