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: > > 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@xxxxxxxxx/> 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 <alx@xxxxxxxxxx> 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 <debian@xxxxxxxxxxxxx> Cc: Jakub Wilk <jwilk@xxxxxxxxx> Acked-by: "Michael T. Kerrisk" <mtk.manpages@xxxxxxxxx> Signed-off-by: Alejandro Colomar <alx@xxxxxxxxxx> 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/>
Attachment:
signature.asc
Description: PGP signature
