On Fri, Nov 28, 2014 at 11:18:18AM -0500, Lennart Sorensen wrote:
> On Fri, Nov 28, 2014 at 01:43:48PM +0100, Gilles Chanteperdrix wrote:
> > The problem is not why not? The problem is why. A mount point was
> > chosen, which is not stupid, documentation and web contents were
> > written, people have started getting used to it. So, why changing it
> > now ? So from my point of view, Jan patch looks like a patch that
> > has been submitted without thinking to the consequences, and changes
> > things for bad reasons.
>
> The original choice of /mnt does not consider the consequences.
>
> > The sentence you quote does not really apply to xenomai, since
> > xenomai is not an "installation program". The standard basically
> > says that software installed by the distribution has no business
> > messing with /mnt. But Xenomai is not installed by a distribution.
> > If distibutions want to change this directory when they make xenomai
> > their own package, they will apply patches, they do this all the
> > time, and document the difference in
> > /usr/share/doc/xenomai/README.Debian
>
> Debian includes xenomai packages. So yes it can be installed by a
> distribution.
the integration of the xenomai package into the Debian repositories
is largely a failed experiment. I think the problem is that the
debian xenomai package does not have enough users for them to look
hard enough and report bugs to reach a good package quality. And
there will never be enough users for that, because real-time is a
niche, whether people want it or not. So, our goal should be to
not cut users from the project, and try and keep them reporting
back to us instead of downstream distributions, and to work for
these users, not to try and work with intermediates.
>
> Make the mount point a configurable option (compile time is fine) so
> at least when building packages for a distribution the location can be
> changed to something sane.
Ok, we agree at last, it seems.
--
Gilles.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
