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

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

On Fri, Nov 28, 2014 at 11:07:22AM -0500, Lennart Sorensen wrote:
> On Fri, Nov 28, 2014 at 12:15:27AM +0100, Gilles Chanteperdrix wrote:
> > 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.
> 
> Well being the admin, the admin can mount whatever they want in there.
> That agrees with the standard just fine.
> 
> > 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.
> 
> The /media is generally used by auto mounters for removable 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?
> 
> I do use /mnt and I do NOT create directories in it.  I know people that
> do create directories.  The admin can do whatever they want in there.

I understand the reasoning, but I like /mnt/xenomai

So, instead of imposing a mount point to everyone, I would suggest
to keep /mnt/xenomai as the documented default. And add an option to
the configure script, to allow users which absolutely want to adhere
to the FHS to choose another mount point.

-- 
					    Gilles.