Hello Alejandro, On Mon, Dec 05, 2022 at 02:18:19PM +0100, Alejandro Colomar wrote: > On 12/5/22 13:38, Jakub Wilk wrote: > > * Alejandro Colomar <alx.manpages@xxxxxxxxx>, 2022-12-04 15:06: > > > > > > Issue: mount point I<B> → mount I<B> > > > > > > > > > > > > "Here, I<B> is the destination mount, and I<b> is a subdirectory path under" > > > > > > "the mount point I<B>. The propagation type of the resulting mount, I<B/b>," > > > > > > "follows the same rules as for a bind mount, where the propagation type of" > > > > > > "the source mount is considered always to be private." > > > > > > > > > > I'm not sure about this one. If we change that wording, I'd > > > > > like to make sure we don't lose any details in the > > > > > information. Please CC any related kernel developers, and > > > > > suggest them review the documentation for more consistent > > > > > language. > > > > > > > > Until recently, there was "mount point" used all over this man > > > > pages. This was changed to "mount" in one of the previous > > > > release of man pages. > > > > > > I didn't know that; please point to the commit that did that. > > > > Probably this one: > > > > commit 8c9a82742976dc98578338ef886776f06c0ab3f2 > > Author: Michael Kerrisk <mtk.manpages@xxxxxxxxx> > > Date: 2021-08-18 01:34:54 +0200 > > mount_namespaces.7: Terminology clean-up: "mount point" ==> "mount" > > Many times, this page use the terminology "mount point", where > > "mount" would be better. A "mount point" is the location at which > > a mount is attached. A "mount" is an association between a > > filesystem and a mount point. > > Signed-off-by: Michael Kerrisk <mtk.manpages@xxxxxxxxx> > > > > Both terms are valid, but they have different meanings. > > > > (No idea which one is appropriate in the paragraph in question.) > > > Thanks! I also don't know, so I'll leave this as is for now. So you want me to remind you later on this or should I switch it to WONTFIX? Greetings Helge -- Dr. Helge Kreutzmann debian@xxxxxxxxxxxxx Dipl.-Phys. http://www.helgefjell.de/debian.php 64bit GNU powered gpg signed mail preferred Help keep free software "libre": http://www.ffii.de/
Attachment:
signature.asc
Description: PGP signature