Re: [Xenomai] [pull] forge: Adjust default registry mount point

[Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>]

On Thu, Nov 27, 2014 at 09:43:34PM +0100, Jan Kiszka wrote:
> On 2014-11-27 21:34, Gilles Chanteperdrix wrote:
> > On Thu, Nov 27, 2014 at 02:14:38PM -0500, Lennart Sorensen wrote:
> >> On Thu, Nov 27, 2014 at 07:51:27PM +0100, Jan Kiszka wrote:
> >>> On 2014-11-27 19:18, Gilles Chanteperdrix wrote:
> >>>> According to the filesystem hierarchy standard, /mnt is the standard
> >>>> place for "temporarily mounted filesystems".
> >>>>
> >>>> http://en.wikipedia.org/wiki/Filesystem_Hierarchy_Standard
> >>>
> >>> Right, another reason to NOT mess around with it: if something was
> >>> temporarily mounted there, we will create the mountpoint inside that
> >>> filesystem with unforeseeable side effects.
> >>
> >> I always read that as "temporarily mounted there by the admin or some
> >> other human".  Certainly not automatic mounts by software.  There is a
> >> reason /media and such exists on many distributins.
> > 
> > I would not venture an "always", autofs for instance, used to mount
> > things under /mnt. and /media has not always existed either, we used
> > /mnt/cdrom.
> 
> FHS on /mnt purpose:
> 
> "This directory is provided so that the system administrator may
> temporarily mount a filesystem as needed. The content of this directory
> is a local issue and should not affect the manner in which any program
> is run."
> 
> I think this makes it crystal clear that Xenomai is not supposed to
> touch it.

Just to add another argument. I just asked a friend who is a
professional sysadmin. He creates directory under /mnt and mount
things under these directories. So, I am not sure the standard is
even applied by the people who should use it.

If you read on the last site I sent, under the /media article: 

Amid much controversy and consternation on the part of system and
network administrators a directory containing mount points for
removable media has now been created. Funnily enough, it has been
named /media.

Are you sure, 100% sure, that every Xenomai user expects to be able
to use /mnt as a mount point? Or that they will create directories
under /mnt like everybody has been doing since Linux exists?

-- 
					    Gilles.