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.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
