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

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

On Fri, Nov 28, 2014 at 11:13:10AM -0500, Lennart Sorensen wrote:
> On Fri, Nov 28, 2014 at 12:55:37PM +0100, Gilles Chanteperdrix wrote:
> > Again, using /mnt/xenomai does not break any distribution following
> > the standard.
> 
> Yes it does when I mount my disk on /mnt.  xenomai is hidden.

You choose to do that, not the distribution. Read my sentence again
"does not break any distribution following the standard".

> 
> > Let us try things another way, the possibilities we have are:
> > - /mnt/xenomai: a solution that used to be standard but ceased to be
> > with the FHS which did not provide a standard replacement, but does
> > not break any distribution
> 
> As above, it does.
> 
> > - /run/xenomai: a solution that relies on the existence on the /run
> > directory, which is not standard, but is going to be, maybe.
> > - /var/run/xenomai: a solution which does not violate any version of
> > the standard, but is not standard either, does not make clear that
> > the directory is a mount point (which /mnt does), breaks the
> > existing documentation, breaks the existing usages of Xenomai 3, and
> > is longer to type.
> 
> / is a mount point too, but the name doesn't imply that either.  That's a
> bad argument.
> 
> > So, I really find that /mnt/xenomai is the best compromise. There is
> > no standard solution, at least /mnt/xenomai is a solution that used
> > to be standard.
> 
> Well it will break on my system all the time.  It's a very shitty solution
> and not a compromise at all.  You are breaking things on my system.
> 
> /mnt is for the admin's use only.  No exceptions.

As you said, the admin chooses to use it as he wants. And 
mkdir /mnt/tmp
will allow you to have xenomai, and mount temporary filesystems as
well.

Just because you have chosen to use /mnt in an arguably stupid
despite standard way, should not influence how others want to use
it. 

-- 
					    Gilles.